Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with formal-specification

A curated list of projects in awesome lists tagged with formal-specification .

https://github.com/hwayne/learntla-v2

Learn TLA+ for free! No prior experience necessary!

book formal-methods formal-specification formal-verification tla tlaplus

Last synced: 03 Mar 2025

https://github.com/tofgarion/spark-by-example

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

ada formal-methods formal-specification formal-verification

Last synced: 14 Mar 2025

https://github.com/will62794/spectacle

Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.

formal-methods formal-specification model-checking tla tlaplus verification visualization

Last synced: 10 Aug 2025

https://github.com/arm-software/asl-interpreter

Example implementation of Arm's Architecture Specification Language (ASL)

architecture arm formal-specification interpreter specification

Last synced: 14 Jun 2025

https://github.com/AdaCore/RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

ada binary-parser communication-protocol formal-methods formal-specification formal-verification parser protocol-parser protocol-specification python spark

Last synced: 14 Mar 2025

https://github.com/ARM-software/asl-interpreter

Example implementation of Arm's Architecture Specification Language (ASL)

architecture arm formal-specification interpreter specification

Last synced: 22 Apr 2025

https://github.com/SRI-CSL/solidity

This is solc-verify, a modular verifier for Solidity.

ethereum formal-specification formal-verification solidity

Last synced: 15 Mar 2025

https://github.com/agra-uni-bremen/libriscv

Extensible implementation of the RISC-V ISA based on FreeMonads

formal-specification free-monads riscv-v simulation

Last synced: 21 Oct 2025

https://github.com/tomooda/viennatalk

ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk

formal-methods formal-models formal-specification pharo smalltalk vdm vdm-sl

Last synced: 24 Dec 2025

https://github.com/paulch42/lean-spec

Program Specification in Lean 4

dependent-types formal-specification lean4

Last synced: 22 Jul 2025

https://github.com/maswag/monaa

A Tool for Timed Patten Matching with Automata-Based Acceleration

automata data-streaming formal-specification monitoring monitoring-tool regular-expression runtime-verification

Last synced: 18 Jul 2025

https://github.com/dgpv/miniscript-alloy-spec

Formal specification for Miniscript in Alloy

alloy-analyzer bitcoin formal-methods formal-specification miniscript

Last synced: 04 Jan 2026

https://github.com/vacp2p/formalities

Formal models of vac protocols

formal-methods formal-specification tla tlaplus

Last synced: 05 Jan 2026

https://github.com/doganulus/reelay-codegen

A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.

code-generation data-stream formal-specification monitoring monitoring-tool regular-expression runtime-verification stream-processing temporal-data temporal-logic

Last synced: 05 Apr 2025

https://github.com/elniak/toward-verification-of-quic-extensions

Formal methods play an important role in validating networking protocols. During the development of TLS 1.3, formal methods have helped to identify several issues with draft versions of the protocol that have been fixed before finalising the protocol. In the transport layer, the QUIC protocol has been proposed to replace the HTTP/TLS/TCP stack. This protocol is being finalised within the IETF and deployed by Google, Cloudlfare, Facebook and many others.

correctness extension formal-specification network protocol quic testing thesis verification

Last synced: 05 Oct 2025

https://github.com/tomooda/pyvdmc

VDM-SL execution library using public/private VDMPad servers.

form formal-methods formal-specification python vdm vdm-sl

Last synced: 14 Oct 2025

https://github.com/hvanz/paxosinpluscal

Paxos algorithm specified and proved in TLA+/PlusCal, with separate processes and invariants for proposers and acceptors.

distributed-systems formal-proofs formal-specification formal-verification paxos pluscal tla tlaplus verification

Last synced: 20 Feb 2025

https://github.com/patrickshaw/university-fit3013-liftsystemspecification

A formal specification written in Event-B notation that formally specifies the behaviour of a multi-lift elevator system.

assignment event-b formal-specification group-assignment mathematics rodin university

Last synced: 04 Aug 2025

https://github.com/appliedfm/coq-vsu-int63

Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq

appliedfm c compcert coq coq-vst formal-methods formal-specification formal-verification verification

Last synced: 14 Apr 2025

https://github.com/itdojp/ae-framework

AI-enhanced development framework that turns natural language into formal specs and production-grade code with agentic pipelines and quality gates.

ai ai-agent ci-cd code-generation domain-driven-design formal-specification mcp model-based-testing open-policy-agent opentelemetry requirements-engineering runtime-verification ssot tdd

Last synced: 05 Oct 2025

https://github.com/inferara/inference-language-spec

Inference programming language specification

formal-specification formal-verification programming-language

Last synced: 02 Mar 2025

https://github.com/csb6/bottom-up-parsers

Specifications of bottom-up parsers in VDM-SL

formal-specification specification vdm vdm-sl

Last synced: 14 May 2025

https://github.com/dantasl/suez-canal-csp

CSPm specification of processes to model the behavior on ships crossing the Suez Canal and the protocol they need to follow.

cspm formal-methods formal-specification processes-and-signals suez

Last synced: 24 Jul 2025

https://github.com/tomooda/viennavm

a simple virtual machine for VDM by VDM

formal-methods formal-models formal-specification vdm vdm-sl vm

Last synced: 04 Aug 2025

https://github.com/dantasl/ruler-of-the-seas-game

Ruler of the Seas is a simulation of a competitive multiplayer table top game. This repository contains the Abstract Machines, Refinements and Implementation of the game.

b-method formal-methods formal-specification game tabletop-simulator

Last synced: 21 Jul 2025

https://github.com/patrickshaw/university-fit3013-liftsystemmodel

A model checking specification written in NuSMV that specifies a model of a single lift elevator system.

assignment formal-specification mathematics nusmv study theory university

Last synced: 03 Apr 2025

https://github.com/isabelleysseric/synchronisation_feux_circulation

Specification and formal verification of traffic light control system.

formal-specification formal-verification traffic-lights

Last synced: 20 Feb 2025

https://github.com/tomooda/vdm-benchmark

a collection of benchmarks for VDM-SL interpreters/code generators

benchmark formal-methods formal-specification vdm vdm-sl

Last synced: 11 Mar 2025

https://github.com/reity/article-specifications-for-distinguishing-functions

This article presents a technique for assembling concise, lightweight specifications and unit tests for verifying the identity of a function; the technique sacrifices completeness to enable compact and portable specifications.

formal-specification functional-verification lightweight-framework python-articles

Last synced: 17 Mar 2025