Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

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: 02 Aug 2024

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: 30 Jul 2024

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: 30 Jul 2024

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

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

architecture arm formal-specification interpreter specification

Last synced: 02 Aug 2024

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

Program Specification in Lean 4

dependent-types formal-specification lean4

Last synced: 09 Aug 2024

https://github.com/elniak/awesome-formal-verification

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.

awesome awesome-list awesome-resources formal-languages formal-methods formal-specification formal-verification hardware-verification model model-checking network-verification proof-assistant testing tools verification

Last synced: 26 Sep 2024

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: 27 Sep 2024