makaimann Goto Github PK

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

btor-benchmarks

Collection of word-level hardware model checking benchmarks in the BTOR2 format.

btor2tools

A generic parser and tool package for the BTOR2 format.

btor2verilog

Hacked together program to convert btor2 files to Verilog.

cgra_coreir

CGRA design converted to CoreIR

cgraflow

Fork for testing local changes on entire CGRA flow

cgragenerator

cibuildwheel

🎡 Build Python wheels for all the platforms on CI with minimal configuration.

coreir

cs228-notes

Course notes for CS228: Probabilistic Graphical Models.

cs257proj

CS 257 Winter 2017/2018 Final Project Repo

cvc4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

e-book

Backup of e-books.

fault

A Python package for testing hardware (part of the magma ecosystem)

garnet

Next generation CGRA generator

ic3-rel-ind-graphs

Early-stage research project to analyze the dependency structure of invariants generated by IC3/PDR.

ic3ref

IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

kratos

:crossed_swords: Debuggable hardware generator

kratos-runtime

lomap

LTL Optimal Multi-Agent Planner (LOMAP)

makaimann.github.io

mantle

mantle library

monosat

MonoSAT - An SMT solver for Monotonic Theories

nasa-uli-xplane

nasa_uli_xplane_simulator

Dataset and Simulator for the NASA ULI Project

practical-fm

A gently curated list of companies using verification formal methods in industry

prophic3

Experiments with prophecy variables for symbolic model checking.

py-smt-switch

pysmt

pySMT: A library for SMT formulae manipulation and solving

ride-core-demo

A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core