Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools.

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loc Besnard, Paul Le Guernic

Browse the full SCOPES paper archive.