IBR Login
- Institute of Operating Systems and Computer Networks
- News
- About us
- Connected and Mobile Systems
- Distributed Systems
- Algorithms
- Microprocessor Lab
- Education
- Services
- Spin-Offs
- Research Cooperations
Implementation of a Tree Structure for the Formal Verification Tool Ivy
ID | D.22.3016 |
Type | Bachelor's Thesis |
Loanable | yes |
Author | Elias Garcia Perea |
IBR Group(s) | DS (Prof. Kapitza) |
Title | Implementation of a Tree Structure for the Formal Verification Tool Ivy |
School | TU Braunschweig |
Organization | IBR, Abt. DS |
Year | 2022 |
Month | August |
IBR Room | 102 - Small Archiv |
last changed 2022-09-05, 13:52 by Antje Lemke