-
Updated
Jul 12, 2020 - Alloy
formal-specification
Here are 63 public repositories matching this topic...
A model checking specification written in NuSMV that specifies a model of a single lift elevator system.
-
Updated
Apr 22, 2017 - Batchfile
Formal specification for student class written in VDM++
-
Updated
Dec 21, 2017
Integration of the mCRL2 toolset into Spacemacs with Syntax highlighting.
-
Updated
Apr 22, 2019 - Emacs Lisp
LTL to Control Synthesis (using formal methods concepts) Framework for a Basic Highway Driving Scenario
-
Updated
Aug 1, 2019 - Python
My third year University dissertation, Term Rewriting System
-
Updated
Nov 5, 2020 - Java
TLA+ verification of distributed protocols
-
Updated
Jan 28, 2024 - TLA
JSON parser/printer for VDM-SL
-
Updated
Dec 25, 2013
TLA+ specifications for BFT algorithms
-
Updated
Nov 1, 2022 - TLA
Specification and formal verification of traffic light control system.
-
Updated
Oct 6, 2022 - Java
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
-
Updated
Jan 26, 2023 - HTML
B specification for a robot moving around a simple maze
-
Updated
Dec 20, 2019 - Nextflow
This repository contains three ontology files relevant to the Event-Based Functional Behaviour Ontology (EFBO) project as part of a Software Engineering thesis.
-
Updated
Dec 16, 2023 - HTML
a collection of benchmarks for VDM-SL interpreters/code generators
-
Updated
Jun 12, 2020
Source code for the paper "Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions"
-
Updated
Nov 18, 2022 - TeX
A little combinatory parser in VDM-SL
-
Updated
Jun 12, 2020
a simple virtual machine for VDM by VDM
-
Updated
Jul 21, 2020 - C
This article presents a technique for assembling concise, lightweight specifications and unit tests for verifying the identity of a function; the technique sacrifices completeness to enable compact and portable specifications.
-
Updated
Sep 9, 2021 - Jupyter Notebook
In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.
-
Updated
Aug 9, 2022 - TeX
Improve this page
Add a description, image, and links to the formal-specification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formal-specification topic, visit your repo's landing page and select "manage topics."