Verification of Concurrent Systems with Parametric Delays Using Octahedra.

Robert Clarisó Jordi Cortadella

Published in: Fundam. Informaticae (2007)

Keyphrases

concurrent systems
temporal logic
distributed systems
model checking
process algebra
formal specification
transition systems
petri net
parametric models
verification method
knowledge representation