Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle.
Daniele ComparePaola InverardiPatrizio PelliccioneAlessandra SebastianiPublished in: FME (2003)
Keyphrases
- model checking
- temporal logic
- temporal properties
- abstract interpretation
- cooperative
- computation tree logic
- software life cycle
- bounded model checking
- symbolic model checking
- formal verification
- finite state
- artificial intelligence
- reactive systems
- pspace complete
- concurrent systems
- process algebra
- np complete
- partial order reduction