Department of Artificial Intelligence and Systems Engineering
bmc (1) · k framework (1) · model checking (1) · semantics (1) · Semantifyr (1) · static analysis (1) · symbolic execution (1) · Typesystem (1) · validation (1) · verification (1) · XSTS (1)
2 theses in total. View all theses »