Browsing Registrations from Cristin by Subject "Hoare logic"
Now showing items 1-1 of 1
-
Indexed and fibered structures for partial and total correctness assertions
(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 ...