Login / Signup
Semi-formal functional verification by EFSM traversing via NuSMV.
Giuseppe Di Guglielmo
Franco Fummi
Graziano Pravadelli
Stefano Soffia
Marco Roveri
Published in:
HLDVT (2010)
Keyphrases
</>
finite state machines
model checking
functional verification
formal verification
formal specification
model checker
formal methods
symbolic model checking
temporal logic
specification language
artificial intelligence
database systems