Sign in
Model Checking Synchronized Products of Infinite Transition Systems.
Stefan Wöhrle
Wolfgang Thomas
Published in:
LICS (2004)
Keyphrases
</>
transition systems
model checking
temporal logic
model checker
finite state
concurrent systems
formal specification
formal verification
reactive systems
practical reasoning
formal methods
control flow
knowledge base
description language
domain independent