Skip to content
View tobiasseufert's full-sized avatar
0 followers · 1 following

Block or report tobiasseufert

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. fbPDR fbPDR Public

    Forward / backward PDR/IC3 implementation. From paper "Combining PDR and Reverse PDR for Hardware Model Checking" (DATE, 2018) and "fbPDR: In-depth combination of forward and backward analysis in P…

    C++ 1

  2. kInd kInd Public

    This is plain k-induction without unrolling. The algorithm is based on k-Ind from *k-Induction without Unrolling* (Gurfinkel, Ivrii, FMCAD 2017). There is a minor tweak that we extended it to a com…

    C++ 1

  3. IC3ref IC3ref Public

    Forked from arbrad/IC3ref

    This is basically IC3ref by Aaron Bradley. I have tweaked it a little bit though, updated it, fixed issues, and added Certifaiger (https://github.com/Froleyks/certifaiger) and aigsim (https://githu…

    C++ 1

  4. SEC-ic3-sim SEC-ic3-sim Public

    Sequential equivalence checker based on IC3.

    C++ 1

  5. minisat minisat Public

    Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    C++