activity
20222026
most citedHoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.LO2023★ 1 cited

Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond

Lena Verscht, Benjamin Kaminski

We aim at a holistic perspective on program logics, including Hoare and incorrectness logics. To this end, we study different classes of properties arising from the generalization…