Projekte Forschungsbereich Formal Methods in Systems Engineering

Laufende Projekte

Abgeschlossene Projekte

TitelBeginnEndeOrgeinheit
Abstraction-based Parameterized TLA Checker 01.01.201631.12.2019E192-04
AutoTest 01.04.202031.03.2021E192-04
Bit-level Accurate Reasoning and Interpolation 01.08.201630.06.2020E192-04
Domänenspezifisches Schließen in IoT Anwendungen 01.02.201931.01.2020E192-04
FOREST: First-Order Reasoning for Ensuring System Security 01.04.202131.03.2022E192-04
Formal methods for Realistic Environments in MAS 01.02.201931.07.2022E192-04
Holonomic Sequences in Program Verification 01.07.201830.06.2021E192-04
Tools for Concurrent and distributed Systems 01.03.201131.08.2019E192-04