Login / Signup
Integrating RAM and Disk Based Verification within the Mur-phi Verifier.
Giuseppe Della Penna
Benedetto Intrigila
Igor Melatti
Enrico Tronci
Marisa Venturini Zilli
Published in:
CHARME (2003)
Keyphrases
</>
model checking
java card
design considerations
real time
formal verification
genetic algorithm
social networks
website
database systems
formal methods
fingerprint verification
asynchronous circuits
verification method