Compositional Reachability Analysis Using Process Algebra.

Wei Jen Yeh Michal Young

Published in: Symposium on Testing, Analysis, and Verification (1991)

Keyphrases

reachability analysis
process algebra
model checking
temporal logic
formal specification
concurrent systems
timed automata
concurrent programs
formal methods
asynchronous circuits
grid workflow
real time
response time
expert systems
petri net