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