Experimental Evaluation of a Planning Language Suitable for Formal Verification.
Radu SiminiceanuRicky W. ButlerCésar A. MuñozPublished in: MoChArt (2008)
Keyphrases
- formal verification
- experimental evaluation
- symbolic model checking
- model checker
- model checking
- automated verification
- programming language
- bounded model checking
- language learning
- ai planning
- temporal logic
- specification language
- planning problems
- planning domains
- domain independent
- artificial intelligence
- object oriented
- program slicing
- functional verification