Automated refinement checking of concurrent systems.

Sudipta Kundu Sorin Lerner Rajesh Gupta

Published in: ICCAD (2007)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
model checking
semi automated
formal specification
transition systems
petri net
computer assisted
fully automated
data driven
fully automatic
real world
access control