Now showing items 1-1 of 1

    • A Formal Framework for Designing Verifiable Protocols 

      Matthews, Opeoluwa (2017)
      Protocols play critical roles in computer systems today, including managing resources, facilitating communication, and coordinating actions of components. It is highly desirable to formally verify protocols, to provide a ...