Login / Signup
Behavioral automata composition for automatic topology independent verification of parameterized systems.
Youssef Hanna
Samik Basu
Hridesh Rajan
Published in:
ESEC/SIGSOFT FSE (2009)
Keyphrases
</>
model checking
management system
distributed systems
knowledge based systems
automated verification
asynchronous circuits
fully automatic
data mining
expert systems
computer systems
question answering
learning systems
data driven
finite state machines
formal methods
natural language
artificial intelligence