Action Language verifier: an infinite-state model checker for reactive software specifications.
Tuba Yavuz-KahveciTevfik BultanPublished in: Formal Methods Syst. Des. (2009)
Keyphrases
- model checker
- description language
- action language
- software architecture
- formal methods
- model checking
- formal verification
- reactive systems
- test suite
- transition systems
- specification language
- temporal logic
- formal specification
- software systems
- software development
- web services
- reasoning about actions
- software engineering
- source code
- software components
- ai planning
- test cases
- planning domains
- evolutionary algorithm
- relational databases