Department of Artificial Intelligence and Systems Engineering
bounded model checking (1) · BTOR2 (1) · CEGAR (1) · executable test harness generation (1) · formal method (1) · formal methods (1) · formal verification (1) · invariants (1) · k-induction (1) · least squares method (1) · model checker (1) · model checking (2) · modeltransformation (1) · multi-threading (1) · Theta (1) · Theta* (1) · validation (1)
3 theses in total. View all theses »