Formal verification of functional properties of a SCR-style software requirements specification using PVS.
Taeho KimDavid W. J. Stringer-CalvertSung Deok ChaPublished in: Reliab. Eng. Syst. Saf. (2005)
Keyphrases
- formal verification
- requirements specification
- functional properties
- requirements engineering
- model checking
- software requirements
- software systems
- software engineering
- program slicing
- model checker
- bounded model checking
- automated verification
- development process
- temporal logic
- boolean functions
- specification language
- symbolic model checking
- software development
- systems development
- life cycle
- software design
- cooperative
- expert systems
- programming language
- software architecture
- functional requirements