Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Cunf

A model checker for safe Petri nets based on partial-order semantics
Stars
8
License
gpl-3.0
Open Issues
0
Most Recent Commit
3 years ago
Programming Language
C++
Categories
Repo
Suggest An Alternative To cunf
Popular Model Checking Projects
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 4 months agonuget PCheckerCore} Downloads
Kani ⭐ 1,699
Kani Rust Verifier
total releases 44latest release November 28, 2023most recent commit 3 months ago
Popular Concurrency Projects
Yew ⭐ 29,821
Rust / Wasm framework for creating reliable and efficient web applications
dependent packages 202total releases 38latest release September 29, 2023most recent commit 20 days agocargo yew} Downloads
Ava ⭐ 20,617
Node.js test runner that lets you develop with confidence 🚀
dependent packages 33,632total releases 112latest release December 06, 2023most recent commit 19 days agonpm ava} Downloads
Swoole Src ⭐ 18,121
🚀 Coroutine-based concurrency library for PHP
total releases 178latest release November 26, 2023most recent commit 3 months ago
Disruptor ⭐ 16,728
High Performance Inter-Thread Messaging Library
dependent packages 1,098total releases 29latest release September 29, 2023most recent commit 4 months ago
Vert.x ⭐ 13,923
Vert.x is a tool-kit for building reactive applications on the JVM
dependent packages 686total releases 141latest release November 15, 2023most recent commit 3 months ago
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Related Searches
C Plus Plus Planning
C Plus Plus Concurrency
C Plus Plus Model Checking
Formal Verification Model Checking
C Plus Plus Petri Net
Model Checking Petri Net
C Plus Plus Formal Verification
Concurrency Formal Verification

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Concurrency
Model Checking
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.