Login / Signup

Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs.

Sylvie BoldoClaude Marché
Published in: Math. Comput. Sci. (2011)
Keyphrases
  • formal verification
  • program slicing
  • computer programs
  • domain specific
  • model checker
  • data sets
  • object oriented
  • model checking