imp

Here are 2 public repositories matching this topic...

Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language

bison flex verification smtlib cpp17 imp hoare-logic vc guarded-command-languague

Projects created during my studies at FIT BUT

ios iss ids fit isa ipk sfc ito ipp imp icp vut izp inc ijc inp bis ial ity izg

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

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