Tools
QuADTool
We provide a highly user-friendly tool for Synthesis of Cyber-security models based on the attack-tree concept. It also features interfaces to a variety of other tools and model-checkers, as well as built-in analysis for uncertain values. Additionally, the CLI can be used to learn attack-trees from logfiles or other traces.
SeQuaiA
This tool implements the semi-quantitative analysis of Chemical Reaction Networks.
SemML
In this project we develop learning-based exploration heuristics for LTL Synthesis that exploit the semantic labelling of the underlying Automaton/Game.
Owl
Owl is designed to help researches in formal methods to work with ω-words, ω-automata and LTL.
MONITIZER
We create a tool (Monitizer) that optimizes monitors on a NN for a specific task.
dtControl
Represent controllers as decision trees. Improve memory footprint, boost explainability while preserving guarantees.
Automata Tutor is an online teaching tool that aids instructors and students in large courses on automata and formal languages with many different exercise types.