formal-specification

Here are 89 public repositories matching this topic...

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 tdd mcp domain-driven-design ci-cd code-generation ssot model-based-testing runtime-verification formal-specification requirements-engineering open-policy-agent opentelemetry ai-agent

Updated Apr 5, 2026
TypeScript

AllanBlanchard / tutoriel_wp

Star

Frama-C and WP tutorial

c formal-methods formal-verification frama-c formal-specification deductive-reasoning

Updated Apr 4, 2026
TeX

Fault-lang / Fault

Star

a language for building system dynamic models

compiler system-dynamics formal-specification system-modeling

Updated Apr 4, 2026
Go

workcraft / workcraft

Star

Toolset to capture, simulate, synthesize and verify graph models

fsm async simulation eda cad petri-nets circuit formal-verification logic-synthesis stg formal-specification

Updated Apr 2, 2026
Java

hhcgoodluck / CSC410-Software-Testing-and-Verification

Star

Concepts and state-of-the-art techniques in quality assessment for software engineering; quality attributes; formal specifications and their analysis; testing, verification, and validation.

software-engineering temporal-logic software-verification software-testing formal-specification dafny-language

Updated Apr 2, 2026
Python

Inferara / inference

Sponsor

Star

🌀 Inference programming language

programming-language security compiler smart-contracts web3 formal-verification formal-specification

Updated Apr 1, 2026
Rust

engboris / stellogen

Star

An experimental language exploring computation and meaning through term unification, with logic-agnostic types.

logic verification proof-assistant type-theory formal-methods logic-programming optional-typing formal-specification transcendental-syntax unification-theory

Updated Mar 30, 2026
OCaml

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.

aws security cryptography formal-methods formal-verification formal-specification

Updated Mar 26, 2026
Rocq Prover

vincentvvliet / cross-cloud-migration

Star

MSc Computer Science Master Thesis - TU Delft

cloud formal-specification

Updated Mar 25, 2026
Python

vedlanghq / ved-spec

Star

Formal language and runtime architecture specifications for the Ved deterministic control-plane system.

distributed-systems systems-theory formal-specification programming-language-design runtime-architecture

Updated Mar 23, 2026

will62794 / spectacle

Star

Interactive playground for exploring and sharing TLA+ specifications in the browser.

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

Updated Mar 23, 2026
JavaScript

uxumutu / srd

Star

Formal specification (TPTP-FOF) for stable coordination between consciousness-like information systems and AI agents. Machine-readable, machine-verifiable, CC0.

theorem-proving first-order-logic tptp formal-verification multi-agent-systems ai-safety automated-reasoning formal-specification consciousness ai-ethics machine-readable ai-coordination

Updated Mar 21, 2026
Shell

radprogrammer / delphi-language-spec

Star

Unofficial, community-driven language specification for the Delphi programming language (Object Pascal) — including lexical rules, grammar, and semantic details.

programming-language delphi pascal parser formatter lexer ebnf language-specification rad-studio formal-specification open-standard obejct-pascal

Updated Mar 19, 2026
Pascal

PrincetonUniversity / VST

Star

Verified Software Toolchain

c coq proof verification proof-assistant formal-methods compcert formal-verification coq-library formal-specification coq-vst

Updated Mar 16, 2026
Rocq Prover

Inferara / inference-language-spec

Sponsor

Star

🌀 Inference programming language specification

programming-language formal-verification formal-specification

Updated Mar 4, 2026

tomooda / ViennaTalk

Star

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

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

Updated Mar 28, 2026
Smalltalk

ElNiak / awesome-formal-verification

Sponsor

Star

Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, researchers, and enthusiasts stay updated and advance their knowledge in the field.