Pinned Repositories
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.
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.
prophic3
Experiments with prophecy variables for symbolic model checking.
py-smt-switch
ride-core-demo
A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core
SMT-PCB
Stanford-FAST
makaimann's Repositories
makaimann/ride-core-demo
A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core
makaimann/btor2verilog
Hacked together program to convert btor2 files to Verilog.
makaimann/Stanford-FAST
makaimann/btor-benchmarks
Collection of word-level hardware model checking benchmarks in the BTOR2 format.
makaimann/ic3-rel-ind-graphs
Early-stage research project to analyze the dependency structure of invariants generated by IC3/PDR.
makaimann/prophic3
Experiments with prophecy variables for symbolic model checking.
makaimann/py-smt-switch
makaimann/btor2tools
A generic parser and tool package for the BTOR2 format.
makaimann/IC3ref
IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
makaimann/SMT_term_rewriting
Working towards typed, first-order unification modulo a set of equational axioms
makaimann/tacas2020-exps
Experiments for TACAS 2020 submission
makaimann/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
makaimann/Anduril_2024_06
Repo accompanying the June 2024 training
makaimann/ArdanUltimateRustFoundations
Course Material for Ardan Labs - Ultimate Rust: Foundations
makaimann/cibuildwheel
🎡 Build Python wheels for all the platforms on CI with minimal configuration.
makaimann/coreir
makaimann/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
makaimann/e-book
Backup of e-books.
makaimann/fault
A Python package for testing hardware (part of the magma ecosystem)
makaimann/garnet
Next generation CGRA generator
makaimann/kratos
:crossed_swords: Debuggable hardware generator
makaimann/kratos-runtime
makaimann/lomap
LTL Optimal Multi-Agent Planner (LOMAP)
makaimann/makaimann.github.io
makaimann/nasa-uli-xplane
makaimann/NASA_ULI_Xplane_Simulator
Dataset and Simulator for the NASA ULI Project
makaimann/practical-fm
A gently curated list of companies using verification formal methods in industry
makaimann/pysmt
pySMT: A library for SMT formulae manipulation and solving
makaimann/SymbiYosys
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
makaimann/yosys
Yosys Open SYnthesis Suite