Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 10 Formal Methods Model Checking Open Source Projects

Open source projects categorized as Formal Methods Model Checking
Categories > Software Development > Formal Methods
Categories > Software Quality > Model Checking
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3most recent commit 4 months agonuget PCheckerCore} Downloads
Vscode Tlaplus ⭐ 327
TLA+ language support for Visual Studio Code
most recent commit 3 months ago
Forge ⭐ 52
most recent commit 3 months ago
Tlacli ⭐ 47
A script for running TLA+/TLC from the command line
total releases 1most recent commit 4 years ago
Cosa ⭐ 35
CoreIR Symbolic Analyzer
dependent packages 1total releases 16most recent commit 4 years agopypi CoSA} Downloads
Plutus Experimental Smart Contracts ⭐ 22
Experimental Smart Contracts In Plutus.
most recent commit 5 years ago
Klever ⭐ 19
Read-only mirror of the Klever Git repository
most recent commit 3 months ago
Intrepid ⭐ 13
Intrepyd Model Checker
total releases 37most recent commit 2 years ago
Maude Bindings ⭐ 12
Language bindings for Maude
dependent packages 1total releases 14most recent commit 5 months agopypi maude} Downloads
Stamina Storm ⭐ 5
STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.
most recent commit 8 months ago
The 3 Most Depended On Formal Methods Model Checking Open Source Projects
Maude Bindings ⭐ 12
Language bindings for Maude
dependent packages 1total releases 14latest release January 03, 2023most recent commit 5 months agopypi maude} Downloads
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 4 months agonuget PCheckerCore} Downloads
Cosa ⭐ 35
CoreIR Symbolic Analyzer
dependent packages 1total releases 16latest release June 03, 2019most recent commit 4 years agopypi CoSA} Downloads
The 6 Latest Releases In Formal Methods Model Checking Open Source Projects
Forge ⭐ 52
latest release December 01, 2023most recent commit 3 months ago
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 4 months agonuget PCheckerCore} Downloads
Maude Bindings ⭐ 12
Language bindings for Maude
dependent packages 1total releases 14latest release January 03, 2023most recent commit 5 months agopypi maude} Downloads
Intrepid ⭐ 13
Intrepyd Model Checker
total releases 37latest release November 25, 2021most recent commit 2 years ago
Tlacli ⭐ 47
A script for running TLA+/TLC from the command line
total releases 1latest release February 04, 2020most recent commit 4 years ago
Cosa ⭐ 35
CoreIR Symbolic Analyzer
dependent packages 1total releases 16latest release June 03, 2019most recent commit 4 years agopypi CoSA} Downloads
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd
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.