Login / Signup
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs.
Gerhard Schellhorn
Holger Grandy
Dominik Haneberg
Nina Moebius
Wolfgang Reif
Published in:
Rigorous Methods for Software Construction and Analysis (2009)
Keyphrases
</>
model checking
active shape model
formal verification
databases
social networks
object detection
energy function
petri net
temporal logic
formal methods
bulletin board
design automation
concurrent systems
functional verification