#

imp

Here is 1 public repository matching this topic...

iwilare / formal-methods

Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language

agda formal-methods imp hoare-logic separation-logic operational-semantics

Updated Aug 25, 2022
Agda

Improve this page

Add a description, image, and links to the imp topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the imp topic, visit your repo's landing page and select "manage topics."