Popular repositories Loading

1. TypeAndProof TypeAndProof Public

   https://openpal.github.io/TypeAndProof/

   TeX 99 8

2. symbolic-abstraction symbolic-abstraction Public

   Forked from 95616ARG/symbolic-abstraction

   Reference implementations for Symbolic Abstraction algorithms.

   Python

3. mutation mutation Public

   Forked from qingkaishi/mutation

   Tools for mutation analysis - A simple mutation python script.

   Python

4. mistral-smt mistral-smt Public

   Forked from daniel-larraz/mistral-smt

   Clone of the Mistral SMT solver (http://www.cs.utexas.edu/~tdillig/mistral/index.html)

   C++

5. vaidya-walk vaidya-walk Public

   Forked from raazdwivedi/vaidya-walk

   Implementation of Vaidya and Dikin walks and experiments

   Jupyter Notebook

6. counterSharp counterSharp Public

   Forked from samysweb/counterSharp

   Quantification of software properties through Model Counting: We use CBMC to transform C-code into SAT instances and then run approximate model counting on those instances

   Python