Document Actions
Student Projects
Up one level- Available
- In progress
- Finished
- Implementierung eines Datenbank-Systems für die Verknüpfung von Bild- und Dokument-Daten
- -
- Parser for AMTV
- Write or bind a parser/lexer of an imperative language for the AMTV tool. The programming language is OCAML. The source language should be preferrably C or a subset thereof.
- Diameter of multithreaded programs
- Explore the asymptotic diameter of finite-state multithreaded programs.
- BDDs for Cartesian Products + Threshold
- BDD-based verification with large polynomial guarantees