All Categories → No Category → deductive-reasoning

Top 2 deductive-reasoning open source projects

Frama-C and WP tutorial

✭ 31

TeX c lua formal-methods formal-verification frama-c formal-specification deductive-reasoning

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 deductive-reasoning projects