Awesome Open Source

Programming Languages

Search results for c plus plus formal verification

formal-verification x

8 search results found

Reads a state transition system and performs property checking

C++ framework for rigorous computation on cyber-physical systems

Pathbeaver ⭐ 13

Symbolic execution of LLVM IR

BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)

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

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems. IMPaCT is an open-source software tool for the parallelized verification and controller synthesis of large-scale stochastic systems using interval Markov chains (IMCs) and interval Markov decision processes (IMDPs).

Aaltitoad ⭐ 6

Extendable verification engine and simulator for Tick Tock Automata constructs

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 Cmake (8,712)

C Plus Plus Qt (8,557)

C Plus Plus Video Game (8,255)

C Plus Plus Algorithms (6,194)

Python C Plus Plus (4,508)

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)

1-8 of 8 search results

Privacy | About | Terms | Follow Us On Twitter

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