ic3

There are 2 repositories under ic3 topic.

• aman-goel / avr

  Reads a state transition system and performs property checking

  model-checkingformal-verificationverilogic3pdr
  Language:C++ 75

• SRI-CSL / sally

  A model checker for infinite-state systems.

  model-checkertransition-systemsverificationic3k-inductionbounded-model-checking
  Language:C++ 68

• go-air / reach

  symbolic reachability checker

  model-checkingverificationic3pdrsimulationbmcsymbolicsafetycircuitgo
  Language:Go 22

• rohitdureja / SimplePDR

  A reference implementation of PDR for boolean transition systems

  sat-solveric3reachabilityz3
  Language:C++ 8

• rohitdureja / FuseIC3

  An Algorithm for Checking Large Design Spaces

  satmodel-checkingpdrmathsatverificationic3model-sets
  Language:C++ 7

• ICC-analysis / APK-analyzer

  androidapkprotobufdareic3primo
  Language:Shell 4

• banhday / tlatools_tthai

  This repository is a source code of my master thesis. In my master thesis, I developed a prototype to translate TLA+ expressions to the SMT-LIB language, and to verify safety properties with SMT solvers, IC3-based techniques and user-guided predicate abstraction.

  tlamodel-checkingic3z3abstraction
  Language:Java 3

• christianebacani / Certificates

  This repository acts as a centralized archive, documenting all my earned certifications relevant to Data Engineering, organized as PDF files.

  certificatesdata-sciencedatacamp-data-sciencedatacamp-trackic3mysqlpdfsqldataengineeringpythonwebscraping
  1

• hrbrmstr / fbi-2018-ic3

  Data wrangling the 2018 FBI IC3 report

  rrstatsfbiic3
  1

• jssottet / protobuffToJSMF

  Using PEGJS grammar to build a JSMF metamodel and generic model-injector coming from Google Protobuf.

  jsmf-metamodelmetamodeljsmf-modelprotobufic3pegjs-grammar
  Language:JavaScript 1

• JakubSarnik / geyser

  Simple implementation of PDR and CAR model checking algorithms

  caric3model-checkerpdr
  Language:C++ 0