The Ultimate program analysis framework.
-
Updated
Dec 4, 2024 - Java
The Ultimate program analysis framework.
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Natural Language (NL) to Linear Temporal Logic (LTL)
Analysis tool for Solidity smart contracts. Prototype.
A multi-formalism, multi-solution model-checker centered on the language GAL
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
[IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas
Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
Command line tool for model checking using LTL, CTL and CTL* formulas
Convert LTL formulas into finite-state automata for monitoring
Categorical semantics of counterpart-based quantified (linear) temporal logics in Agda using https://github.com/agda/agda-categories
Utilities for the HOA format.
A Python package for deal with logical formulas and formal systems (e.g. FOL)
Efficient On-the-Fly Model Checking for LTL and CTL★.
Misconception-based tutor designed to help people learn Linear Temporal Logic.
[beta] An experimental model checker for LTL written in Rust
final project " Code Generation " - BSC
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."