Department of Artificial Intelligence and Systems Engineering
abstraction (2) · CEGAR (1) · concurrency (1) · concurrent software (1) · cone-of-influence (1) · Continous Integration (1) · continuous delivery (1) · data races (1) · DevOps (1) · error correction algorithm (1) · formal methods (1) · formal verification (4) · Github Actions (1) · happens-before relation (1) · Java (1) · meta-solver (1) · model checking (2) · partial order reduction (2) · portfolio (1) · SMT solver (1) · software verification (1) · solver (1) · Theta (3)
5 theses in total. View all theses »