fanyi-zhao / formal-verification

Formal verification tools and examples.

Geek Repo

Github PK Tool

formal-verification

Recently studying formal methods and tools:

Boogie
The Anchor Verifier

Some related topics:

SMT
Z3 Solver

About

Formal verification tools and examples.

Languages

Language:Boogie 98.4%Language:C# 1.1%Language:Scala 0.2%Language:Java 0.2%Language:HTML 0.1%Language:Shell 0.0%Language:Python 0.0%Language:CSS 0.0%Language:JavaScript 0.0%Language:TeX 0.0%Language:Vim Snippet 0.0%Language:Vim Script 0.0%Language:Batchfile 0.0%Language:Perl 0.0%Language:Makefile 0.0%Language:R 0.0%