Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures.
K. Suzanne BarberThomas J. GraserJim HoltPublished in: ASE (2001)
Keyphrases
- model checking
- software architecture
- temporal logic
- development cycle
- temporal properties
- software development
- formal specification
- model checker
- formal verification
- epistemic logic
- automated verification
- reachability analysis
- software engineering
- bounded model checking
- symbolic model checking
- alternating time temporal logic
- asynchronous circuits
- development process
- decision making
- pspace complete
- binary decision diagrams
- concurrent systems
- cooperative
- real world