Browsing Department of Informatics by Subject "Hoare logic"

Now showing items 1-1 of 1

    • Indexed and fibered structures for partial and total correctness assertions 

      Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann (Journal article; Peer reviewed, 2022)
      Hoare Logic has a long tradition in formal verification and has been continuously developed and used to verify a broad class of programs, including sequential, object-oriented, and concurrent programs. Here we focus on ...