Login / Signup
Systematic Formal Verification of Interpreters.
David Cyrluk
John M. Rushby
Mandayam 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