1. Fifty years of Hoare’s logic
2. Brett Boston , Samuel Breese , Joey Dodds , Mike Dodds , Brian Huffman , Adam Petcher , and Andrei Stefanescu . 2021 . Verified Cryptographic Code for Everybody. In International Conference on Computer Aided Verification. Springer, 645–668 . Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, and Andrei Stefanescu. 2021. Verified Cryptographic Code for Everybody. In International Conference on Computer Aided Verification. Springer, 645–668.
3. Software Defect Identification Using Machine Learning Techniques
4. Yoonsik Cheon and Gary T Leavens . 2002 . A runtime assertion checker for the Java Modeling Language (JML) . In Proceedings of the International Conference on Software Engineering Research and Practice (SERP’02) , Las Vegas, Nevada, USA. Citeseer, 322–328. Yoonsik Cheon and Gary T Leavens. 2002. A runtime assertion checker for the Java Modeling Language (JML). In Proceedings of the International Conference on Software Engineering Research and Practice (SERP’02), Las Vegas, Nevada, USA. Citeseer, 322–328.
5. Continuous Formal Verification of Amazon s2n