Automated structural analysis of SCR-style software requirements specifications using PVS

Software Testing Verification and Reliability

Volumn 11, Issue 3, 2001, Pages 143-163

  Kim, Taeho ^a   Cha, Sungdeok ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

Formal specification; Formal verification; Requirements analysis; Theorem proving

Indexed keywords

AUTOMATION; INDUSTRIAL APPLICATIONS; SEMANTICS; THEOREM PROVING;

PROTOTYPE VERIFICATION SYSTEM (PVS); SOFTWARE COST REDUCTION (SCR);

SOFTWARE PROTOTYPING;

EID: 0035447825     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/stvr.218     Document Type: Article

References (25)

1. Targeting safety-related errors during software requirements analysis
2. Advances in software inspections
3. Automated consistency checking of requirements specifications
4. Case studies
5. A tutorial introduction to PVS
6. Formal verification for fault-tolerant architecture: Prolegomena to the design of PVS
7. Formal verification of the AAMP5 microprocessor: A case study in the industrial use of formal methods
8. Using PVS to prove some theorems of David Parnas
9. On the analysis needs when verifying state-based software requirements: An experience report
10. Integration in PVS: Tables, types, and model checking
11. Tools for formal specification, verification, and validation of requirements
12. Software requirements analysis for real-time process-control systems
13. Requirements specification for process-control systems
14. Completeness and consistency in hierarchical state-based requirements
15. Tablewise, a decision table tool
16. STATEMATE: A working environment for the development of complex reactive systems
17. Modechart: A specification language for real-time systems