The Ultimate program analysis framework.
-
Updated
Jun 11, 2024 - Java
The Ultimate program analysis framework.
A teaching aid for concepts and algorithms in logic
The Contract Automata Library implements Contract Automata and their operations (e.g., composition, synthesis). This is the main repository of the Contract Automata Toolkit.
This repository represents all of my work at the Technical University of Varna. The speciality is "Software and Internet Technologies."
🧬 Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.
A free, open-source Java library for modeling automata, graphs, and transition systems
EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.
Efficient implementation of Langton's Ant cellular automata on an infinite grid for cooperative highway search
Finite-State Machines for Java
Finite and Infinite Tree Automata Viewer
Regular Omega Language Learning Library
Please read the Design Report.
un TP pour la simulation des automates à états finis déterministes
Sugar for building and running context-free transducers in Java
Prototype CLI tool to perform MBMT between Networks of Timed Automata
Compute traces inclusion using biased & random traces with UPPAAL models.
Analizador Léxico Sintáctico en Java
Add a description, image, and links to the automata topic page so that developers can more easily learn about it.
To associate your repository with the automata topic, visit your repo's landing page and select "manage topics."