Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Ultimate	175	5 months ago	219		Java
The Ultimate program analysis framework.
Ltsmin	49	6 months ago	69	bsd-3-clause	C
The LTSmin model checking toolset
Smpt	26	7 months ago		gpl-3.0	Python
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
Imitator	23	5 months ago	54	gpl-3.0	OCaml
IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
Cubicle	13	a year ago	5	apache-2.0	OCaml
The Cubicle model checker

Alternatives To Smpt

Select To Compare

Ultimate ⭐ 175

The Ultimate program analysis framework.

most recent commit 5 months ago

Ltsmin ⭐ 49

The LTSmin model checking toolset

most recent commit 6 months ago

Smpt ⭐ 26

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

most recent commit 7 months ago

Imitator ⭐ 23

IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.

most recent commit 5 months ago

Cubicle ⭐ 13

The Cubicle model checker

most recent commit a year ago

Suggest An Alternative To SMPT

Alternative Project Comparisons

Popular Reachability Projects

Reachability.swift ⭐ 7,845

Replacement for Apple's Reachability re-written in Swift with closures

total releases 17latest release October 28, 2021most recent commit 5 months ago

Reachability ⭐ 6,961

ARC and GCD Compatible Reachability Class for iOS and MacOS. Drop in replacement for Apple Reachability

total releases 4latest release March 24, 2015most recent commit a year ago

Realreachability ⭐ 3,069

We need to observe the REAL reachability of network. That's what RealReachability do.

total releases 13latest release October 22, 2018most recent commit 2 years ago

Connectivity ⭐ 1,631

🌐 Makes Internet connectivity detection more robust by detecting Wi-Fi networks without Internet access.

total releases 35latest release September 23, 2023most recent commit 9 months ago

Is Online ⭐ 1,174

Check if the internet connection is up

dependent packages 264total releases 34latest release June 06, 2022most recent commit a year ago

Popular Model Checking Projects

P ⭐ 2,845

The P programming language.

dependent packages 1total releases 3latest release April 04, 2023most recent commit 6 months ago

Tlaplus ⭐ 2,154

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

most recent commit 5 months ago

Kani ⭐ 1,699

Kani Rust Verifier

total releases 44latest release November 28, 2023most recent commit 5 months ago

Tla Rust ⭐ 831

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

most recent commit 7 years ago

Alive2 ⭐ 634

Automatic verification of LLVM optimizations

most recent commit 5 months ago

Popular Networking Categories