Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures.
Michael ColónTomás E. UribePublished in: CAV (1998)
Keyphrases
- finite state
- decision procedures
- reactive systems
- model checking
- temporal logic
- modal logic
- satisfiability problem
- transition systems
- theorem proving
- automated reasoning
- markov chain
- formal specification
- markov decision processes
- formal methods
- inference rules
- finite state machines
- information flow
- conjunctive queries
- petri net
- machine learning
- business process
- bayesian networks