Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 14 C Plus Plus Model Checking Open Source Projects

Open source projects categorized as C Plus Plus Model Checking
Categories > Programming Languages > C Plus Plus
Categories > Software Quality > Model Checking
Alive2 ⭐ 634
Automatic verification of LLVM optimizations
most recent commit 3 months ago
Storm ⭐ 119
A Modern Probabilistic Model Checker
most recent commit 3 months ago
Mcrl2 ⭐ 83
The Git repository for the mCRL2 toolset.
most recent commit 3 months ago
Multivariatepointprocess ⭐ 50
most recent commit 6 years ago
Avr ⭐ 47
Reads a state transition system and performs property checking
most recent commit a year ago
Tchecker ⭐ 19
TChecker is an open-source verification tool for timed automata
most recent commit 5 months ago
Rumur ⭐ 10
yet another model checker
most recent commit 5 months ago
Pml ⭐ 10
A ML-like programming language with type-based probabilistic behavior specification, developed as part of PFN summer internship 2018.
most recent commit 5 years ago
Cunf ⭐ 8
A model checker for safe Petri nets based on partial-order semantics
most recent commit 3 years ago
Upmurphi ⭐ 8
UPMurphi planner for linear and nonlinear continuous PDDL+ models with processes and events
most recent commit 2 years ago
Libits ⭐ 7
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
most recent commit 4 months ago
Lart ⭐ 6
LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.
most recent commit a year ago
Its Ctl ⭐ 5
CTL symbolic model-checker based on libDDD and libITS
most recent commit 2 years ago
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
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
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.