C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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