Automated Schedule Generation for Time-Sensitive Networks (TSN).
-
Updated
Jun 29, 2023 - Java
Automated Schedule Generation for Time-Sensitive Networks (TSN).
The Overture Tool
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
Rust frontend for LiSA
An OpenAI gym environment for automated rule-based deductive program verification in KeY.
The extendable graph editor
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.
STAMINA - STochastic Approximate Model-checker for INfinite-state Analysis, integrated with the PRISM model checking engine
ADVANCED PROGRAMMING (CN5120) + FORMAL METHODS (CN6006) + ADVANCED TOPICS IN COMPUTER SCIENCE (6008)
CamilleX extension for Rodin platform
A toolkit for the creation of correct-by-construction arithmetic languages.
A generic bounded model checker.
EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.
Proof of concept
🧬 Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.
Design by contract extension to Java using annotations and bytecode injection
a formal modeling tool that helps build reliable models and codes
Converter of function block models from NuSMV to Promela (SPIN)
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."