A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems.

Nancy A. Lynch Roberto Segala

Published in: Formal Aspects Comput. (1995)

Keyphrases

concurrent systems
model checking
temporal logic
distributed systems
process algebra
formal specification language
formal specification
neural network
transition systems
petri net
statistical analysis
website
simulation environment
mathematical model
simulation model
genetic algorithm
data sets