Read-only mirror of the Klever Git repository
-
Updated
Jun 5, 2024 - Python
Read-only mirror of the Klever Git repository
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
Traceable specifications based on Doxygen.
Differentiable Symbolic Specification
The Air programming language is carefully designed to solve programming problems once and for all.
Verified Software Toolchain
Toolset to capture, simulate, synthesize and verify graph models
A Tool for Timed Patten Matching with Automata-Based Acceleration
Extensible implementation of the RISC-V ISA based on FreeMonads
Formal analysis for the Electrod formal specification language
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Learn TLA+ for free! No prior experience necessary!
This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.
a language for building system dynamic models
The Air programming language is carefully designed to solve programming problems once and for all.
Formal Specification of Trusted Execution Environment APIs
TLA+ verification of distributed protocols
Galois RISC-V ISA Formal Tools
Program Specification in Lean 4
This repository contains three ontology files relevant to the Event-Based Functional Behaviour Ontology (EFBO) project as part of a Software Engineering thesis.
Add a description, image, and links to the formal-specification topic page so that developers can more easily learn about it.
To associate your repository with the formal-specification topic, visit your repo's landing page and select "manage topics."