Skip to content

@OpenPAL OpenPAL

Change the repository type filter

All

    Repositories list

    6 repositories

    • counterSharp

      Public
      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
      •2•0•0•0•Updated Aug 24, 2020Aug 24, 2020

    • mistral-smt

      Public
      Clone of the Mistral SMT solver (http://www.cs.utexas.edu/~tdillig/mistral/index.html)
      C++
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Jun 20, 2020Jun 20, 2020

    • symbolic-abstraction

      Public
      Reference implementations for Symbolic Abstraction algorithms.
      Python
      •
      MIT License
      •1•0•0•0•Updated Mar 20, 2020Mar 20, 2020

    • vaidya-walk

      Public
      Implementation of Vaidya and Dikin walks and experiments
      Jupyter Notebook
      •6•0•0•0•Updated Mar 27, 2018Mar 27, 2018

    • TypeAndProof

      Public
      https://openpal.github.io/TypeAndProof/
      TeX
      •8•99•1•0•Updated Jun 1, 2017Jun 1, 2017

    • mutation

      Public
      Tools for mutation analysis - A simple mutation python script.
      Python
      •1•0•0•0•Updated May 4, 2015May 4, 2015