Model Checking Synchronized Products of Infinite Transition Systems

Stefan Wöhrle Wolfgang Thomas

Published in: CoRR (2007)

Keyphrases

transition systems
model checking
temporal logic
model checker
concurrent systems
finite state
formal specification
formal verification
formal methods
practical reasoning
artificial intelligence
reactive systems
multi agent
search space
distributed systems
control flow