|
|
Java |
15 |
Formal Modelling in VDM |
May 30, 2022 |
|
|
TeX |
10 |
NEO's formal specification |
Jun 14, 2022 |
|
|
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 |
|
|
C |
185 |
Specification of the Functional Mock-Up Interface (FMI) |
Aug 01, 2022 |
|
|
TLA |
2 |
lido finance formal specification |
Oct 19, 2021 |
|
|
None |
3 |
Formal specification for the key management project |
Jan 29, 2023 |
|
|
Java |
5 |
Extension to Overture which enable Overture with VDM-RT to be used with the FMI interface |
Nov 22, 2022 |
|
|
TeX |
12 |
A formal specification for BIL |
Dec 09, 2021 |
|
|
Python |
3 |
Formal specification for the XR/17032 processor architecture. |
Apr 01, 2023 |
|
|
C |
4 |
Configurations of components compliant to FMI 2.0 specification |
May 30, 2022 |
|
|
None |
6 |
[WIP] Formal Specification for the Next Iteration of Reloaded |
Apr 21, 2023 |
|
|
Makefile |
2 |
Formal model for requirements |
Jan 06, 2022 |
|
|
Java |
2 |
A Formal Specification Language Based on Statecharts |
Oct 07, 2022 |
|
|
Java |
39 |
Intellij plugin for TLA+ formal specification language. |
Apr 15, 2023 |
|
|
F# |
187 |
F# RISC-V Instruction Set formal specification |
Apr 15, 2023 |
|
|
TLA |
13 |
A formal specification of snapshot isolation in TLA+. |
Jul 29, 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 |
|
|
None |
2 |
Formal specification of attestation mechanisms in Confidential Computing |
Apr 20, 2023 |
|
|
Assembly |
63 |
Automatic inference of a formal specification of the x86_64 instruction set |
Sep 12, 2022 |
|
|
Verilog |
3 |
An attempt at a formal specification for Bitcoin, including formal semantics for Bitcoin scripts. |
Aug 22, 2016 |
|
|
Lean |
7 |
A formal specification of the Yul IR semantics in the Lean proof assistant. |
Aug 03, 2022 |
|
|
Python |
2 |
Pygments VDM Lexers |
Apr 26, 2017 |
|
|
None |
7 |
The official Open Component Model Specification |
Mar 09, 2023 |
|
|
PHP |
5 |
API WhatsApp PHP & VDM |
Apr 28, 2022 |
|
|
GLSL |
3 |
Employ Formal Methods to model the game of Spikeball 🎾 |
May 13, 2023 |
|
|
Agda |
5 |
Formal model of Bitcoin transactions in Agda |
Jan 11, 2023 |
|
|
Python |
8 |
The formal |
Apr 13, 2023 |
|
|
Python |
14 |
Specification of the NineML model description language. |
Oct 10, 2021 |
|
|
Python |
11 |
Specification for the bioimage.io model description file. |
Oct 11, 2022 |
|
|
Python |
2 |
QBiC's metadata model specification |
Sep 25, 2021 |
|
|
XSLT |
7 |
Viade Data Model Specification |
Mar 27, 2023 |
|
|
Python |
4 |
Demes demographic model specification |
Nov 14, 2022 |
|
|
Go |
38 |
openapi specification object model |
Dec 04, 2022 |
|
|
Go |
350 |
openapi specification object model |
May 20, 2023 |
|
|
Go |
2 |
openapi specification object model |
Aug 19, 2017 |
|
|
Coq |
100 |
Formal specification and verification of hardware, especially for security and privacy. |
Aug 08, 2022 |
|
|
Lua |
37 |
Windows Defender VDM lua collections |
Feb 06, 2023 |
|
|
VimL |
2 |
Syntax file for VDM-SL |
Nov 07, 2017 |
|
|
C++ |
3 |
SETLevel: OSI / FMI compliant radar sensor system model, depending on parametrization. |
Feb 20, 2023 |
|
|
None |
10 |
Earth System Model Collection specification |
Jun 02, 2022 |
|
|
None |
3 |
AMWA NMOS Content Model Specification |
Dec 17, 2021 |
|
|
Go |
25 |
openapi specification object model analyzer |
Nov 29, 2022 |
|
|
Python |
16 |
Property Casualty Data Model Specification |
Jan 03, 2023 |
|
|
None |
44 |
This repository hosts the specification for the Cartographic Information Model |
Aug 09, 2022 |
|
|
Python |
177 |
Repository for design and specification of the Component Model |
Aug 11, 2022 |
|
|
Java |
8 |
Java Interpreter for the Low Entropy Model Specification language |
Mar 28, 2023 |
|
|
None |
2 |
Repository for design and specification of the Component Model |
Mar 03, 2023 |