Blar i Department of Informatics på emneord "Hoare logikk"

Viser treff 1-1 av 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 ...