Login / Signup
Checking Simple Properties of Transition Systems Defined by Thue Specifications.
Teodor Knapik
Published in:
J. Autom. Reason. (2002)
Keyphrases
</>
transition systems
concurrent systems
model checking
temporal logic
control flow
desirable properties
reactive systems
multi attribute
finite state
artificial intelligence
state space
formal specification
model checker
practical reasoning