Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification.
Michael HuthOrna GrumbergPublished in: Int. J. Softw. Tools Technol. Transf. (2009)
Keyphrases
- special section
- decision procedures
- reachability analysis
- model checking
- temporal logic
- modal logic
- theorem proving
- timed automata
- markov decision processes
- automated reasoning
- satisfiability problem
- special issue
- incremental algorithms
- finite state machines
- inference rules
- award winning
- conjunctive queries
- distributed systems
- artificial intelligence
- quantified boolean formulas
- presburger arithmetic
- database
- tight complexity bounds
- state space
- query language
- dynamic programming
- learning algorithm