Developing Techniques to Test Correctness of Formal Specifications

Posted: Oct. 2022 - Mar. 2023
Abstract

Explore techniques for testing the correctness of formal specifications, a crucial aspect given that the reliability of formal verification projects relies on accurate specifications, an area lacking awareness and techniques.

Developing Techniques to Test Correctness of Formal Specifications

Responsibility

  • Investigated bugs in open-source protocol specifications covering distributed systems, blockchain & ML
  • Conducted Fuzzing Tests on Dafny specifications of distributed protocols including Paxos & PBFT, utilizing Python Z3 library to identify potential allowable unintended behaviors