Login / Signup

Systematic Formal Verification of Interpreters.

David CyrlukJohn M. RushbyMandayam K. Srivas
Published in: ICFEM (1997)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • automated verification
  • bounded model checking
  • symbolic model checking
  • virtual machine
  • description language
  • program slicing