|
TeX |
10 |
NEO's formal specification |
Jun 14, 2022 |
|
TLA |
2 |
lido finance formal specification |
Oct 19, 2021 |
|
None |
3 |
Formal specification for the key management project |
Jan 29, 2023 |
|
Java |
39 |
Intellij plugin for TLA+ formal specification language. |
Apr 15, 2023 |
|
TeX |
1408 |
The "Yellow Paper": Ethereum's formal specification |
Aug 11, 2022 |
|
TeX |
2 |
The "Yellow Paper": Ethereum's formal specification |
Jan 09, 2022 |
|
None |
2 |
The "Yellow Paper": Ethereum's formal specification |
Oct 19, 2021 |
|
None |
18 |
A formal specification for changelog files and entries |
Nov 02, 2020 |
|
OCaml |
79 |
A tool-agnostic formal specification language for OCaml. |
Sep 06, 2022 |
|
Python |
3 |
Formal specification for the XR/17032 processor architecture. |
Apr 01, 2023 |
|
Verilog |
3 |
An attempt at a formal specification for Bitcoin, including formal semantics for Bitcoin scripts. |
Aug 22, 2016 |
|
Python |
4 |
Wordle bil-Malti |
May 23, 2022 |
|
OCaml |
11 |
bil verification tool |
Feb 17, 2023 |
|
Java |
2 |
A Formal Specification Language Based on Statecharts |
Oct 07, 2022 |
|
F# |
187 |
F# RISC-V Instruction Set formal specification |
Apr 15, 2023 |
|
None |
6 |
[WIP] Formal Specification for the Next Iteration of Reloaded |
Apr 21, 2023 |
|
TypeScript |
2 |
Wordle, imma bil-Malti! |
Feb 16, 2022 |
|
TLA |
13 |
A formal specification of snapshot isolation in TLA+. |
Jul 29, 2021 |
|
None |
2 |
Formal specification of attestation mechanisms in Confidential Computing |
Apr 20, 2023 |
|
Java |
8 |
A formal model of the FMI specification in VDM |
Nov 22, 2022 |
|
Coq |
100 |
Formal specification and verification of hardware, especially for security and privacy. |
Aug 08, 2022 |
|
Assembly |
63 |
Automatic inference of a formal specification of the x86_64 instruction set |
Sep 12, 2022 |
|
Lean |
7 |
A formal specification of the Yul IR semantics in the Lean proof assistant. |
Aug 03, 2022 |
|
Objective-C++ |
128 |
Formal to Formal Mathematics Benchmark |
Aug 12, 2022 |
|
Ada |
92 |
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines |
Apr 03, 2023 |
|
Makefile |
2 |
Formal model for requirements |
Jan 06, 2022 |
|
Coq |
2 |
Formal semantics for LIO |
Apr 15, 2019 |
|
JetBrains MPS |
16 |
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and … |
Oct 09, 2022 |
|
Python |
8 |
The formal |
Apr 13, 2023 |
|
None |
2 |
This is a set of requirements written in the Specification and Analysis of Requirements (SpeAR) … |
Oct 20, 2023 |
|
P4 |
67 |
Petr4: Formal Semantics for P4 |
Apr 14, 2023 |
|
Python |
5 |
Formal Verification for Plasma-mvp |
Apr 18, 2020 |
|
Haskell |
29 |
:microscope: formal tools for BPMN |
May 28, 2023 |
|
HTML |
2 |
Formal verification blog |
Jan 17, 2022 |
|
None |
5 |
A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 … |
Jun 13, 2022 |
|
JavaScript |
4 |
react-formal inputs for react-bootstrap |
Jan 19, 2021 |
|
Verilog |
6 |
materials for Formal Verification introduction course |
Mar 17, 2022 |
|
Scala |
4 |
Experimental (formal) verification library for Chisel. |
Jan 28, 2023 |
|
JavaScript |
2 |
🌍 🐓 Formal verification for JavaScript |
Jan 31, 2023 |
|
Rust |
21 |
The formal development repository for Pr47 |
Mar 14, 2023 |
|
Lean |
38 |
Benchmark for undergraduate-level formal mathematics |
May 07, 2023 |
|
Python |
6 |
Python package for formal concept analysis |
Aug 13, 2019 |
|
None |
2 |
Repository for review of formal methods |
Sep 04, 2022 |
|
None |
2 |
Formal Methods for Blockchain & Smart Contracts |
Nov 29, 2023 |
|
OCaml |
7 |
Formal semantics of OCaml |
Mar 28, 2017 |
|
TypeScript |
2 |
Sci Formal Hour Logger |
Feb 13, 2022 |
|
Java |
15 |
Formal Modelling in VDM |
May 30, 2022 |
|
Agda |
12 |
Formal semantics in Agda. |
Apr 06, 2023 |
|
Coq |
596 |
Formal Reasoning About Programs |
May 08, 2023 |
|
JavaScript |
2 |
Fuzzing Formal Equivalence Checkers |
May 15, 2023 |