All Categories → No Category → hoare-logic

Top 2 hoare-logic open source projects

proof-tree-builder.github.io

A web-based graphical proof assistant for LK and Hoare logic.

✭ 17

javascript HTML PEG.js graphical-user-interface hoare-logic proof-automation sequent-calculus

Synthesis of Heap-Manipulating Programs from Separation Logic

✭ 107

scala python typescript CSS javascript Dockerfile program-synthesis smt hoare-logic separation-logic deductive-reasoning

1-2 of 2 hoare-logic projects