Software Verification – Specifications and Requirements
Stub post on writing precise specifications and requirements, a key prerequisite for formal verification and systematic testing.
Software Verification – Specifications and Requirements
[Stub] Motivation for precise specifications and how informal requirements get refined into verifiable properties.
Topics
- Informal vs. formal requirements
- Functional vs. non-functional requirements
- Properties we might want to verify (safety, liveness, invariants)
- How specifications drive test cases and verification goals
Reading and Preparation
[Stub] Link to the syllabus/outline PDF and any specification examples in the course modules.
External Resources – Software Verification Textbooks
- Practical V&V overview: Steven R. Rakitin, Software Verification and Validation for Practitioners and Managers (2nd Edition). See publisher listing at Artech House.
- Integrated, hands-on approach: William S. Laski and Janusz Laski, Software Verification and Analysis: An Integrated, Hands-On Approach. See publisher listing at Springer.
- Engineering and scientific perspective: Marcus S. Fisher, Software Verification and Validation: An Engineering and Scientific Approach. See publisher listing at Springer.
- Systems-level verification: Jeffrey O. Grady, System Verification: Proving the Design Solution Satisfies the Requirements (2nd Edition). See publisher listing at Elsevier.