Abstraction-based Parameterized TLA Checker
| 01.01.2016 | 31.12.2019 | E192-04 |
AutoTest
| 01.04.2020 | 31.03.2021 | E192-04 |
Bit-level Accurate Reasoning and Interpolation
| 01.08.2016 | 30.06.2020 | E192-04 |
Domänenspezifisches Schließen in IoT Anwendungen
| 01.02.2019 | 31.01.2020 | E192-04 |
FOREST: First-Order Reasoning for Ensuring System Security
| 01.04.2021 | 31.03.2022 | E192-04 |
Formal methods for Realistic Environments in MAS
| 01.02.2019 | 31.07.2022 | E192-04 |
Holonomic Sequences in Program Verification
| 01.07.2018 | 30.06.2021 | E192-04 |
Tools for Concurrent and distributed Systems
| 01.03.2011 | 31.08.2019 | E192-04 |