The Ultimate program analysis framework.
-
Updated
May 23, 2024 - Java
The Ultimate program analysis framework.
A multi-formalism, multi-solution model-checker centered on the language GAL
Analysis tool for Solidity smart contracts. Prototype.
Natural Language (NL) to Linear Temporal Logic (LTL)
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
F3 is a prototype tool that searches for fair paths in finite/infinite state transition systems.
Linear Temporal Logic formalized in Coq
final project " Code Generation " - BSC
A simple NPM Package for calculating linear feet
This project aims to synthesize realistic traffic scenarios from specifications in Temporal Logic. This work was done as part of my thesis @ TUM.
Evrostos: The rLTL Verifier
LTL model checking of Core-Erlang using term rewriting techniques.
Utilities for the HOA format.
Synthesis of discrete dynamical systems from multi-paradigm specifications
🧬 Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.
Add a description, image, and links to the ltl topic page so that developers can more easily learn about it.
To associate your repository with the ltl topic, visit your repo's landing page and select "manage topics."