Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Model Checking Petri Net Open Source Projects

Open source projects categorized as Model Checking Petri Net
Categories > Software Quality > Model Checking
Categories > Petri Net
Ltsmin ⭐ 49
The LTSmin model checking toolset
most recent commit 4 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 5 months ago
Itstools ⭐ 20
A multi-formalism, multi-solution model-checker centered on the language GAL
most recent commit 3 months ago
Cargo Check Deadlock ⭐ 15
Find deadlocks in Rust code with Petri net model checking
total releases 5most recent commit 4 months ago
Cunf ⭐ 8
A model checker for safe Petri nets based on partial-order semantics
most recent commit 3 years ago
Mcc ⭐ 7
High-Level Nets Blaster for the Model-Checking Contest
total releases 6most recent commit a year ago
Kong ⭐ 5
Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).
most recent commit 6 months ago
The 2 Latest Releases In Model Checking Petri Net Open Source Projects
Cargo Check Deadlock ⭐ 15
Find deadlocks in Rust code with Petri net model checking
total releases 5latest release October 14, 2023most recent commit 4 months ago
Mcc ⭐ 7
High-Level Nets Blaster for the Model-Checking Contest
total releases 6latest release May 12, 2021most recent commit a year ago
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.