Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS.
Taeho KimDavid W. J. Stringer-CalvertSung Deok ChaPublished in: TACAS (2002)
Keyphrases
- formal verification
- requirements specification
- functional properties
- requirements engineering
- model checking
- software requirements
- software engineering
- software systems
- model checker
- program slicing
- specification language
- development process
- bounded model checking
- formal specification
- automated verification
- symbolic model checking
- boolean functions
- software development
- functional requirements
- temporal logic
- life cycle
- software design
- database
- software architecture