🧬 Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.
-
Updated
May 28, 2024 - Java
🧬 Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.
The Entity Compiler aims to unify entities across your enterprise.
The Contract Automata Library implements Contract Automata and their operations (e.g., composition, synthesis). This is the main repository of the Contract Automata Toolkit.
System for synthesizing Java API idioms, powered by Neural Sketch Learning
Example of usage of CATLib for modelling and implementating the tic-tac-toe game
Most of today's simpler software solutions closely link their work to basic database operations. The basic operations are retrieving, entering, modifying, and deleting individual data, so-called CRUD operations. To simplify the implementation of such software solutions, it is possible to build a code generator that builds a series of program sec…
converting regex (regular expression) to DFA directly by creating syntax tree in java
Quantum Electronics Design Automation - The RTL of Quantum Computing
Petri Game Strategy Synthesis
TARTS is a tool to auto generate code for a embedded system by an UPPAAL timed automaton
Graphics Petri Nets and APT GUI
A simple compiler for parsing java codes and get syntax errors with CYK algorithm for context free grammars (CFG)
Add a description, image, and links to the synthesis topic page so that developers can more easily learn about it.
To associate your repository with the synthesis topic, visit your repo's landing page and select "manage topics."