Skip to content

@formalmethods Formal Methods

Change the repository type filter

All

    Repositories list

    11 repositories

    • intrepid

      Public
      Intrepyd Model Checker
      z3model-checkingformal-methodsautomated-testssmt-solverformal-verificationpythonpypimodel-checker
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •1•17•0•0•Updated Nov 5, 2021Nov 5, 2021

    • polytopepacking

      Public
      Polytope packing algorithm implemented with SMT-solvers
      SMT
      •
      MIT License
      •0•1•1•0•Updated Mar 18, 2020Mar 18, 2020

    • swig

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Aug 19, 2019Aug 19, 2019

    • lustreexperiments

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Jul 12, 2019Jul 12, 2019

    • pragmaticpatterns

      Public
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Mar 28, 2018Mar 28, 2018

    • formalmethods.github.io

      Public
      Formal Methods Corner
      HTML
      •0•0•0•0•Updated Jan 2, 2018Jan 2, 2018

    • atgexperiments

      Public
      Scripts and benchmarks for ATG
      Python
      •0•0•0•0•Updated Jan 2, 2018Jan 2, 2018

    • simulinkexperiments

      Public
      This repo contains scripts and instructions to run experiments for the Simulink frontend
      Python
      •0•0•0•0•Updated Oct 18, 2017Oct 18, 2017

    • opensmt

      Public
      Automatically exported from code.google.com/p/opensmt
      C
      •
      MIT License
      •2•6•0•0•Updated Jan 18, 2017Jan 18, 2017

    • smtlectures

      Public
      A collection of slides of the SMT course I held at University of Milan in fall 2011
      C
      •
      MIT License
      •3•8•0•0•Updated Mar 14, 2015Mar 14, 2015

    • python

      Public
      Pre-compiled python libraries with includes
      C
      •9•0•0•0•Updated Nov 9, 2012Nov 9, 2012