Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Mcrl2

The Git repository for the mCRL2 toolset.
Stars
83
License
bsl-1.0
Open Issues
47
Most Recent Commit
3 months ago
Programming Language
C++
Categories
Site
Repo
Alternatives To Mcrl2
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Seahorn391
6 months ago20otherC
SeaHorn Verification Framework
Mcrl283
3 months ago47bsl-1.0C++
The Git repository for the mCRL2 toolset.
Alternatives To Mcrl2
Select To Compare
Seahorn ⭐ 391
SeaHorn Verification Framework
most recent commit 6 months ago


Suggest An Alternative To mCRL2
Alternative Project Comparisons
Mcrl2 vs Seahorn
Popular Cmake Projects
Json ⭐ 38,831
JSON for Modern C++
dependent packages 9total releases 11latest release March 29, 2023most recent commit 3 months ago
Folly ⭐ 26,664
An open-source C++ library developed and used at Facebook.
dependent packages 7total releases 3latest release March 21, 2018most recent commit 3 months ago
Libuv ⭐ 22,767
Cross-platform asynchronous I/O
dependent packages 13total releases 2latest release May 09, 2018most recent commit 3 months ago
Vcpkg ⭐ 21,408
C++ Library Manager for Windows, Linux, and MacOS
total releases 22latest release September 15, 2022most recent commit 2 days ago
Popular Model Checking Projects
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 3 months agonuget PCheckerCore} Downloads
Kani ⭐ 1,699
Kani Rust Verifier
total releases 44latest release November 28, 2023most recent commit 3 months ago
Popular Build Tools Categories
Makefile
Cmake
Gradle
Builder
Grunt
Jar
Installer
Apk
Sbt
Bundler
Related Searches
C Plus Plus Cmake
C Plus Plus Model Checking
C Plus Plus Model Checker
Model Checking Mu Calculus
Model Checker Mu Calculus

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