Tools for formal specification, verification, and validation of requirements
- 22 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Mechanical verification of timed automata: a case studyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- SCR: a toolset for specifying and analyzing requirementsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Tablewise, a decision table toolPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Consistency checking of SCR-style requirements specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automated consistency checking of requirements specificationsACM Transactions on Software Engineering and Methodology, 1996
- Completeness and consistency analysis of state-based requirementsPublished by Association for Computing Machinery (ACM) ,1995
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- Requirements specification for process-control systemsIEEE Transactions on Software Engineering, 1994
- State-based model checking of event-driven system requirementsIEEE Transactions on Software Engineering, 1993
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987