Automated Schedule Generation for Time-Sensitive Networks (TSN).
-
Updated
Jun 29, 2023 - Java
Automated Schedule Generation for Time-Sensitive Networks (TSN).
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
The Overture Tool
CamilleX extension for Rodin platform
a formal modeling tool that helps build reliable models and codes
STAMINA - STochastic Approximate Model-checker for INfinite-state Analysis, integrated with the PRISM model checking engine
Formal modelling of GitHub in VDM++ ; in collaboration with @EdgarACarneiro and @joao-conde
A toolkit for the creation of correct-by-construction arithmetic languages.
Modeling and formally enforcing role-based access control policies for smart contracts
🧬 Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.
Utility for computing transition priorities for live Petri nets
Extensible HAHA transpiler.
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the Event-B formal method and provides natural support for refinement and mathematical proof.
An OpenAI gym environment for automated rule-based deductive program verification in KeY.
Design by contract extension to Java using annotations and bytecode injection
Rust frontend for LiSA
A generic bounded model checker.
The extendable graph editor
Unofficial, handwritten parser aimed at transpilation of the HAHA language.
Using SeaHorn in Android Studio to check native code
Add a description, image, and links to the formal-methods topic page so that developers can more easily learn about it.
To associate your repository with the formal-methods topic, visit your repo's landing page and select "manage topics."