Login / Signup
Simulator Semantics for System Level Formal Verification.
Toni Mancini
Federico Mari
Annalisa Massini
Igor Melatti
Enrico Tronci
Published in:
GandALF (2015)
Keyphrases
</>
formal verification
model checking
model checker
simulation model
symbolic model checking
program slicing
high level
bounded model checking
logic programming
formal semantics
automated verification