On requirement verification for evolving Statecharts specifications.
Carlo GhezziClaudio MenghiAmir Molzam ShariflooPaola SpoletiniPublished in: Requir. Eng. (2014)
Keyphrases
- model checker
- model checking
- formal verification
- formal methods
- reactive systems
- automated verification
- temporal logic
- formal specification
- bounded model checking
- description language
- concurrent systems
- set theory
- test suite
- asynchronous circuits
- verification method
- finite state machines
- agent oriented
- specification language
- protocol specification
- conceptual modeling
- delay insensitive
- test generation
- real time
- functional requirements
- formal analysis
- object oriented
- natural language
- artificial intelligence
- learning algorithm