Login / Signup
Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems.
Antonio Cerone
David A. Kearney
George J. Milne
Published in:
ACSD (1998)
Keyphrases
</>
concurrent systems
temporal logic
distributed systems
process algebra
model checking
petri net
formal specification
transition systems
desirable properties
model checker
machine learning
multiscale
structural properties
topological properties
verification method