Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

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