Login / Signup
Verification of Progress Properties.
Zohar Manna
Published in:
APPIA-GULP-PRODE (1997)
Keyphrases
</>
knowledge base
model checking
topological properties
data sets
databases
image processing
information technology
petri net
structural properties
formal methods
formal verification
person identification
verification method