The Ultimate program analysis framework.
-
Updated
Jun 3, 2024 - Java
The Ultimate program analysis framework.
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Misconception-based tutor designed to help people learn Linear Temporal Logic.
🧬 Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.
A multi-formalism, multi-solution model-checker centered on the language GAL
EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.
Model-checking tools in OCaml
Natural Language (NL) to Linear Temporal Logic (LTL)
Command line tool for model checking using LTL, CTL and CTL* formulas
A tool for reactive synthesis with monitor triggers.
Analysis tool for Solidity smart contracts. Prototype.
This project is part of a master's thesis to implement eLTL logic, UMA University (Spain).
Compiler of LTL formula to Büchi automata
The goal of this project is to bring most of Event-B and refinement calculus into Python
[IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas
A (probabilistic) model checking toolkit fully implemented in Python
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
F3 is a prototype tool that searches for fair paths in finite/infinite state transition systems.
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."