Login / Signup
Formal verification of ASMs using MDGs.
Amjad Gawanmeh
Sofiène Tahar
Kirsten Winter
Published in:
J. Syst. Archit. (2008)
Keyphrases
</>
formal verification
model checking
active shape model
model checker
bounded model checking
automated verification
symbolic model checking
functional verification
program slicing
knowledge base
shape model