Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
-
Updated
Jul 10, 2024 - Ada
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Extensible implementation of the RISC-V ISA based on FreeMonads
Verified Software Toolchain
a language for building system dynamic models
The Air programming language is carefully designed to solve programming problems once and for all.
Read-only mirror of the Klever Git repository
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
Toolset to capture, simulate, synthesize and verify graph models
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.
Formal analysis for the Electrod formal specification language
Differentiable Symbolic Specification
A Tool for Timed Patten Matching with Automata-Based Acceleration
Learn TLA+ for free! No prior experience necessary!
The Air programming language is carefully designed to solve programming problems once and for all.
Formal Specification of Trusted Execution Environment APIs
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
This is solc-verify, a modular verifier for Solidity.
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."