Software Verification – Introduction to Formal Methods
Stub post introducing formal methods in , connecting mathematical reasoning to practical verification of real systems.
Software Verification – Introduction to Formal Methods
[Stub] Bridge from testing to mathematically grounded guarantees using model checking, theorem proving, and related techniques.
Topics
- Why testing alone is not enough for critical systems
- High-level view of model checking and theorem proving
- Examples of properties we might want to prove (safety, liveness)
- How formal methods integrate with testing in a verification pipeline
Reading and Preparation
[Stub] Tie in the “Formal Methods in Software Verification” lecture content and syllabus outline.
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.