Verification of Concurrent Systems with Parametric Delays Using Octahedra.

Robert Clarisó Jordi Cortadella

Published in: ACSD (2005)

Keyphrases

concurrent systems
temporal logic
model checking
distributed systems
process algebra
petri net
formal specification
transition systems
learning algorithm
information systems
formal verification
verification method