Verified Software Toolchain
-
Updated
May 30, 2024 - Coq
Verified Software Toolchain
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
A Tool for Timed Patten Matching with Automata-Based Acceleration
Extensible implementation of the RISC-V ISA based on FreeMonads
The Air programming language is carefully designed to solve programming problems once and for all.
Toolset to capture, simulate, synthesize and verify graph models
Formal analysis for the Electrod formal specification language
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Read-only mirror of the Klever Git repository
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.
Differentiable Symbolic Specification
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.
Frama-C and WP tutorial
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."