Formal Methods

Pinned Loading

1. intrepyd intrepyd Public

   Intrepyd Model Checker

   Python 19 1

2. opensmt opensmt Public

   Automatically exported from code.google.com/p/opensmt

   C 6 2

3. smtlectures smtlectures Public

   A collection of slides of the SMT course I held at University of Milan in fall 2011

   C 10 3

4. polytopepacking polytopepacking Public

   Polytope packing algorithm implemented with SMT-solvers

   SMT 1