Basis-Datenstrukturen und Kern-Algorithmen
| MiraXT multi-threaded SAT Solver |
| Mira-Craig Library zur Berechnung Craigscher Interpolanten |
| incQuBE inkrementeller QBF solver |
| QMiraXT multi-threaded QBF Solver |
| PaQuBE paralleler QBF Solver |
| Quaig kombinierter QBF Solver (AIGsolve und QuBE) |
| LIRA Entscheidungsprozeduren für Logik der ersten Stufe über gemischter ganzzahliger und reellwertiger Addition |
Verifikation
| CIP Bounded Model Checker für diskrete Systeme |
| mbmc Bounded Model Checker für diskrete Systeme |
| bounce Bounded Model Checker für unvollständige diskrete Systeme |
| sigref symbolische Minimierung endlicher Transitionssysteme |
| lter long-term expected rewards |
| bb Model Checker für unvollständige probabilistische Systeme |
| (S)SBMC Gegenbeispielserzeugung für probabilistische Systeme |
| timemachine Bounded Model Checker für unvollständige gezeitete Systeme |
| iSAT SMT solver für nicht-lineare Arithmetik |
| iSAT-Craig Bounded Model Checker für hybride Systeme |
Test
| TIGUAN TSI SAT-basierter Testmustergenerator |
| PARSIM parallele Fehlersimulation |
| TAMSIN hochpräzise Simulation von Verzögerungsfehlern |
| PHAETON SAT-based tool for the enumeration of sensitisable paths |
Smartenergy
| SmartMeter a versatile electricity meter for the future connected home |
| FIRED A Fully-labeled hIgh-fRequency Electricity Disaggregation Dataset |
| Annoticity Dataset Inspection and Labeling Tool |
| FLANdERS a Fully Labeled AppliaNce ElectRicity dataSet |