Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 8 Specification Formal Methods Open Source Projects

Open source projects categorized as Specification Formal Methods
Categories > Software Development > Formal Methods
Categories > Collaboration > Specification
Vscode Tlaplus ⭐ 327
TLA+ language support for Visual Studio Code
most recent commit 3 months ago
Pvs ⭐ 124
The People's Verification System
most recent commit 4 months ago
Reelay ⭐ 27
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
total releases 4most recent commit 8 months ago
Klever ⭐ 19
Read-only mirror of the Klever Git repository
most recent commit 3 months ago
Snapshot Isolation Spec ⭐ 10
A formal specification of snapshot isolation in TLA+.
most recent commit 5 years ago
Electrod ⭐ 9
Formal analysis for the Electrod formal specification language
most recent commit 3 years ago
Miniscript Alloy Spec ⭐ 7
Formal specification for Miniscript in Alloy
most recent commit 3 years ago
Pfaces Omegathreads ⭐ 6
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and
most recent commit a year ago
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.