Awesome Open Source

Programming Languages

Search results for c plus plus model checking

model-checking x

13 search results found

Automatic verification of LLVM optimizations

A Modern Probabilistic Model Checker

The Git repository for the mCRL2 toolset.

Multivariatepointprocess ⭐ 50

Reads a state transition system and performs property checking

Tchecker ⭐ 19

TChecker is an open-source verification tool for timed automata

yet another model checker

A ML-like programming language with type-based probabilistic behavior specification, developed as part of PFN summer internship 2018.

A model checker for safe Petri nets based on partial-order semantics

UPMurphi planner for linear and nonlinear continuous PDDL+ models with processes and events

Core Guarded Action Language and Instantiable Transition System semantics using libDDD.

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.

CTL symbolic model-checker based on libDDD and libITS

Stamina Storm ⭐ 5

STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.

Related Searches

C Plus Plus Qt (8,557)

C Plus Plus Video Game (8,255)

C Plus Plus Cmake (8,010)

C Plus Plus Algorithms (5,736)

C Plus Plus Opengl (4,396)

C Plus Plus 3d Graphics (3,196)

C Plus Plus Testing (2,735)

Java C Plus Plus (2,629)

C Plus Plus Command Line (2,304)

Javascript C Plus Plus (2,235)

1-13 of 13 search results

Privacy | About | Terms | Follow Us On Twitter

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