1. Optimal dynamic partial order reduction
2. Elvira Albert , Puri Arenas , Maria Garcia de la Banda , Miguel Gómez-Zamalloa, and Peter Stuckey. 2017 . Context-Sensitive Dynamic Partial Order Reduction. Springer , 526–543. https://doi.org/10.1007/978-3-319-63387-9_26 10.1007/978-3-319-63387-9_26 Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, and Peter Stuckey. 2017. Context-Sensitive Dynamic Partial Order Reduction. Springer, 526–543. https://doi.org/10.1007/978-3-319-63387-9_26
3. Yves Bertot and Pierre Casteran . 2004. Interactive Theorem Proving and Program Development . SpringerVerlag . https://doi.org/10.1007/978-3-662-07964-5 10.1007/978-3-662-07964-5 Yves Bertot and Pierre Casteran. 2004. Interactive Theorem Proving and Program Development. SpringerVerlag. https://doi.org/10.1007/978-3-662-07964-5
4. Dirk Beyer . 2022. Progress on software verification: SV-COMP 2022 . In Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II, Vol. 13244. Springer Nature , 375. https://doi.org/10.1007/978-3-030-99527-0_20 10.1007/978-3-030-99527-0_20 Dirk Beyer. 2022. Progress on software verification: SV-COMP 2022. In Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II, Vol. 13244. Springer Nature, 375. https://doi.org/10.1007/978-3-030-99527-0_20
5. CPAchecker: A Tool for Configurable Software Verification