Login / Signup
Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools.
Van Chan Ngo
Jean-Pierre Talpin
Thierry Gautier
Loïc Besnard
Paul Le Guernic
Published in:
SCOPES (2015)
Keyphrases
</>
software tools
general purpose
formal methods
language resources
programming language
decision support
verification method
end users
model checking
machine translation
code generation