Completeness of Hoare Logic over Nonstandard Models
published by Zhaowei Xu
in 2017
in Informatics Engineering
and research's language is
English
Download
Abstract in English
The nonstandard approach to program semantics has successfully resolved the completeness problem of Floyd-Hoare logic. The kno
Download