Skip to content
View makaimann's full-sized avatar

Organizations

@cvc5

Block or report makaimann

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. ride-core-demo ride-core-demo Public

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

    Verilog 10

  2. btor2verilog btor2verilog Public

    Hacked together program to convert btor2 files to Verilog.

    C++ 8 5

  3. Stanford-FAST Stanford-FAST Public

    SMT 5 1

  4. py-smt-switch py-smt-switch Public

    Python 3 1

  5. ic3-rel-ind-graphs ic3-rel-ind-graphs Public

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

    Python 3

  6. btor-benchmarks btor-benchmarks Public

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

    3