|
SWIG |
451 |
C Bounded Model Checker |
Aug 27, 2022 |
|
C |
4 |
An SMT-based bounded model checker for C |
Nov 09, 2022 |
|
Python |
410 |
Symbolic bounded model checker for Ethereum smart contracts |
Apr 23, 2023 |
|
C |
171 |
The efficient SMT-based context-bounded model checker (ESBMC) |
Apr 27, 2023 |
|
C++ |
12 |
BLACK (Bounded Lᴛʟ sAtisfiability ChecKer) |
Mar 27, 2023 |
|
Java |
3 |
Model Checker for Java Programs |
Oct 20, 2021 |
|
Rust |
49 |
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for … |
Oct 04, 2022 |
|
Rust |
9 |
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for … |
May 03, 2023 |
|
C |
17 |
Byzantine model checker |
Mar 07, 2023 |
|
Python |
5 |
Model Insertion Checker |
Jul 26, 2022 |
|
Ada |
7 |
Erigone Model Checker |
Apr 13, 2023 |
|
OCaml |
2 |
A Tool for Bounded Model Checking Hyperproperties |
May 09, 2023 |
|
Scala |
58 |
The Eldarica model checker |
Apr 27, 2023 |
|
OCaml |
13 |
The Cubicle model checker |
Apr 25, 2023 |
|
C++ |
6 |
yet another model checker |
May 13, 2023 |
|
Python |
4 |
k-Induction and Bounded Model Checking for Probabilistic Programs |
Apr 04, 2023 |
|
OCaml |
8 |
saturation-based HORS model checker |
Dec 21, 2021 |
|
C++ |
95 |
A Modern Probabilistic Model Checker |
May 02, 2023 |
|
Python |
197 |
HeapHopper is a bounded model checking framework for Heap-implementations |
Jun 17, 2022 |
|
OCaml |
7 |
A Type-Based HFL Model Checker |
Apr 27, 2022 |
|
OCaml |
13 |
A model-checker for caml programs. |
Apr 26, 2021 |
|
Scala |
308 |
APALACHE: symbolic model checker for TLA+ |
Aug 22, 2022 |
|
JavaScript |
14 |
EPMC: An Extendible Probabilistic Model Checker |
Mar 29, 2023 |
|
Erlang |
66 |
The McErlang model checker for Erlang |
Jun 30, 2021 |
|
Python |
2 |
Checker with simple ONNX model structure. Simple Structure Checker for ONNX. |
Feb 14, 2023 |
|
Java |
4 |
A salary checker application in java |
Jan 27, 2022 |
|
OCaml |
33 |
MoCHi: Model Checker for Higher-Order Programs |
Jul 28, 2022 |
|
C++ |
61 |
A model checker for infinite-state systems. |
Apr 14, 2023 |
|
Haskell |
167 |
Embedded specification language & model checker in Haskell |
Jul 01, 2022 |
|
Scala |
14 |
TriCera: a model checker for C programs |
Apr 17, 2023 |
|
Python |
4 |
Spell Checker based on Ngrams Language Model |
May 16, 2020 |
|
Java |
11 |
GUI for running the SPIN model checker |
Apr 13, 2023 |
|
Shell |
3 |
Performance measurements for the TLC model checker |
Sep 18, 2017 |
|
Isabelle |
15 |
Fully verified model checker for realtime systems |
Dec 12, 2022 |
|
Rust |
1373 |
A model checker for implementing distributed systems. |
May 22, 2023 |
|
Python |
29 |
The MOSAIC Operating Systems Model and Checker |
May 30, 2023 |
|
C++ |
3 |
SReach is a Bounded Model Checker for hybrid systems with parametric uncertainty, and probabilistic hybrid … |
Aug 27, 2020 |
|
Haskell |
2 |
Persistent bounded buffers |
Dec 01, 2016 |
|
Scala |
2 |
Bounded Connection Tableaux |
Mar 01, 2019 |
|
Java |
6 |
A Java implementation of the Internationalization Checker |
Dec 23, 2021 |
|
Dockerfile |
2 |
Docker image for Java API Compliance Checker |
Jan 30, 2020 |
|
Java |
11 |
Java SDK to Copyleaks Plagiarism Checker API. |
Jun 20, 2022 |
|
Java |
9 |
Java APK integrity checker and key comparator |
Aug 04, 2022 |
|
Go |
3 |
Fault-aware model checker for message passing systems |
Dec 05, 2020 |
|
C++ |
20 |
Python Bindings for the Probabilistic Model Checker Storm |
Apr 26, 2023 |
|
Scala |
3 |
CTL model checker, implemented using BDDs (JavaBDD library) |
Nov 09, 2022 |
|
Java |
3 |
java design model |
Sep 14, 2023 |
|
HTML |
2 |
The Bounded Integer App |
Feb 11, 2021 |
|
C++ |
3 |
Difference Bounded Matrix Library |
Dec 11, 2022 |
|
Java |
4 |
STAMINA - STochastic Approximate Model-checker for INfinite-state Analysis |
Dec 10, 2021 |