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) · formal methods (1) · formal verification (3) · Github Actions (1) · happens-before relation (1) · model checking (1) · partial order reduction (2) · Theta (2)
4 theses in total. View all theses »