Login / Signup

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

Van Chan NgoJean-Pierre TalpinThierry GautierLoïc BesnardPaul 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