What4: New Library to Help Developers Build Verification and Program Analysis Tools - Galois, Inc. - discu.eu

Hacker News

What4: A library to help build verification and program analysis tools https://galois.com/blog/2020/07/what4-new-library-to-help-devs-build-verification-program-tools/ 2 comments 30/7/2020

Linked pages

Why3 http://why3.lri.fr/ 6 comments

Related searches:

Search whole site: site:galois.com

Search title: What4: New Library to Help Developers Build Verification and Program Analysis Tools - Galois, Inc.

See how to search.

Submit link to: