1. Building High Integrity Applications with SPARK;McCormick,2015
2. Program Proofs;Rustan,2023
3. Constraint-Based Testing and Tail Tests for Measurement-Based Probabilistic Timing Analysis;Gil,2020
4. A toolkit for automated testing of dafny;Fedchin,2023
5. Essentials of Software Testing;Brown,2021