Design by contract extension to Java using annotations and bytecode injection
-
Updated
Nov 19, 2022 - Java
Design by contract extension to Java using annotations and bytecode injection
An implementation of a reactive GR(1) contract
A model checking specification written in NuSMV that specifies a model of a single lift elevator system.
Formal specification for student class written in VDM++
Integration of the mCRL2 toolset into Spacemacs with Syntax highlighting.
LTL to Control Synthesis (using formal methods concepts) Framework for a Basic Highway Driving Scenario
Shellcode synthesizer
JSON parser/printer for VDM-SL
My third year University dissertation, Term Rewriting System
TLA+ verification of distributed protocols
Formal Specification of Trusted Execution Environment APIs
TLA+ specifications for BFT algorithms
A repository that describes my explorations on formal verification using Dafny, techniques from programming language theory such as CYK parsing, Earley parsing, type-theoretic things like lambda calculus etc.
Tools for working with Verified Software Units
Specification and formal verification of traffic light control system.
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
B specification for a robot moving around a simple maze
This repository contains three ontology files relevant to the Event-Based Functional Behaviour Ontology (EFBO) project as part of a Software Engineering thesis.
Add a description, image, and links to the formal-specification topic page so that developers can more easily learn about it.
To associate your repository with the formal-specification topic, visit your repo's landing page and select "manage topics."