Information provided according to §5 German Telemedia Act (TMG)
Institution
University of Bremen
Faculty 3
Group of Computer Architecture (AGRA)
Bibliothekstr. 5
28359 Bremen
Germany
Contact
📧 Email: drechsler@uni-bremen.de
📧 Email: treebush302@gmail.com
Responsible for Content (according to §55(2) RStV)
Prof. Dr. Rolf Drechsler
Qian Liu
Research Disclaimer
This website and the associated tools are provided exclusively for academic research and
educational purposes. The generated specifications, test scenarios, verification artifacts,
and source code are experimental in nature and are provided without any warranty. They must
not be used in safety-critical or production environments without independent verification
and validation.
Liability for Content
As a service provider, we are responsible for our own content on these pages in accordance with
general laws (§7(1) TMG). However, according to §§8–10 TMG, we are not obliged to monitor
transmitted or stored third-party information or to investigate circumstances that indicate
illegal activity. Liability is only possible from the time of knowledge of a concrete infringement.
Upon becoming aware of such violations, we will remove the affected content immediately.
Liability for Links (GitHub / arXiv)
This website contains links to external third-party platforms, in particular GitHub (code
repositories) and arXiv (scientific publications), over whose content we have no control.
Therefore, we cannot assume any liability for these external contents. The respective platform
operators are solely responsible for the content of the linked pages.
Privacy
This website does not collect, store, or process any personal data. No cookies are used,
and no tracking or analytics services are employed. External fonts are loaded from Google Fonts.
External Links (GitHub and arXiv)
This website contains links to external services, including GitHub and arXiv. When clicking on
these links, you leave this website and are subject to the terms and privacy policies of the external service.