Ecosyste.ms: 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/princetonuniversity/vst
Verified Software Toolchain
c compcert coq coq-library coq-vst formal-methods formal-specification formal-verification proof proof-assistant verification
Last synced: 27 Sep 2024
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/appliedfm/vstyle
A style guide for Coq
appliedfm c coq dependent-types formal-mathematics formal-methods formal-proofs formal-semantics formal-specification formal-verification haskell ocaml proof proof-assistant software-engineering style-guide verification
Last synced: 27 Sep 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
https://github.com/appliedfm/coq-vsu
Tools for working with Verified Software Units
appliedfm c compcert coq coq-vst formal-methods formal-specification formal-verification verification
Last synced: 27 Sep 2024