SCR*: A Toolset for Specifying and Analyzing Software Requirements
No abstract available.
DOI 10.1007/bfb0028775
Related papers
- Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS TACAS 2002
- The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability TACAS 2019
- Towards automatic significance analysis for approximate computing CGO 2016
- The SLAM project: debugging system software via static analysis POPL 2002
- A Toolset for Message Sequence Charts CAV 1998
- The Refinement Calculus of Reactive Systems Toolset TACAS 2018
- An Easily Extensible Toolset for Tabular Mathematical Expressions TACAS 1999
- The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification TACAS 2014