Combining Simulation and Guided Traversal for the Verification of Concurrent Systems.

Enric Pastor Marco A. Peña

Published in: DATE (2003)

Keyphrases

concurrent systems
temporal logic
distributed systems
model checking
process algebra
formal specification
transition systems
petri net
data structure
simulation model
simulation study
simulation environment
simulation models
data sets
mathematical models
numerical simulations
colored petri nets
open source