Keyword:Hoare logic

Publications
C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions Jon Hael Brenas, Rachid Echahed and Martin Strecker In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017
A Developer-oriented Hoare Logic Holger Gast In:PSPL 2010. International Workshop on Proof Systems for Program Logics
Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs Shaoying Liu In:Turing-100. The Alan Turing Centenary