Generic tools for verifying concurrent systems.

Rance Cleaveland Steve Sims

Published in: Sci. Comput. Program. (2002)

Keyphrases

concurrent systems
model checking
temporal logic
process algebra
distributed systems
formal specification
petri net
data sets
software tools
user friendly
domain specific
transition systems
learning systems
multi agent systems
high level
visualization tools
computational tools
decision making
database