Awesome Open Source

Programming Languages

Search results for formal verification model checking

formal-verification x

model-checking x

13 search results found

The P programming language.

Reads a state transition system and performs property checking

Tlaplus_repl ⭐ 39

A simple REPL for the TLA+ language, using the TLC model checker.

CoreIR Symbolic Analyzer

Read-only mirror of the Klever Git repository

Eve Parity ⭐ 16

Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.

Intrepid ⭐ 13

Intrepyd Model Checker

Aiger Safety Properties ⭐ 10

AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers

🔮内生安全建模工具，基于.Net Core 3.0的Avalonia跨平台桌面应用。

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

IotSan: Fortifying the Safety of IoT Systems (ACM CoNEXT'18)

Formal verification engine for Verilog with built-in support for simulating flip-flop metastability

Stamina Storm ⭐ 5

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

1-13 of 13 search results

Privacy | About | Terms | Follow Us On Twitter

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