Indexed and fibered structures for partial and total correctness assertions
UE Wolter, A Martini, EH Haeusler - 2022 - bora.uib.no
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 …
and used to verify a broad class of programs, including sequential, object-oriented, and …