gipsyh/rIC3

Hardware Formal Verification Tool

Language: Rust - Size: 1.89 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 52 - Forks: 11

SRI-CSL/sally

A model checker for infinite-state systems.

Language: C++ - Size: 5.61 MB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 75 - Forks: 13

aman-goel/avr

Reads a state transition system and performs property checking

Language: C++ - Size: 910 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 76 - Forks: 20

hrbrmstr/fbi-2018-ic3

Data wrangling the 2018 FBI IC3 report

Size: 3.5 MB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 0

christianebacani/Certificates

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

Size: 2.92 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

JakubSarnik/geyser

Simple implementation of PDR and CAR model checking algorithms

Language: C++ - Size: 2.07 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

go-air/reach

symbolic reachability checker

Language: Go - Size: 1.9 MB - Last synced at: 11 months ago - Pushed at: over 3 years ago - Stars: 22 - Forks: 3

ICC-analysis/APK-analyzer

Language: Shell - Size: 50.8 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 3 - Forks: 2

rohitdureja/FuseIC3

An Algorithm for Checking Large Design Spaces

Language: C++ - Size: 122 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 7 - Forks: 3

rohitdureja/SimplePDR

A reference implementation of PDR for boolean transition systems

Language: C++ - Size: 8.02 MB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 8 - Forks: 2

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.

Language: Java - Size: 25.9 MB - Last synced at: about 2 years ago - Pushed at: about 9 years ago - Stars: 2 - Forks: 0

jssottet/protobuffToJSMF

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

Language: JavaScript - Size: 37.1 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 1