Department of Artificial Intelligence and Systems Engineering
.NET (1) · 4-valued logic (1) · abstraction (2) · abstraction refinement (2) · Boolean Satisfiability (1) · CHC (1) · CI/CD (1) · confidential computing (1) · contract (1) · contract synthesis (1) · deductive verification (1) · educational tool (1) · formal verification (4) · git (1) · Github Actions (1) · graph pattern matching (1) · Horn-clauses (1) · intel sgx (1) · interprocedural (1) · Learning Management Systems (1) · MBSE (1) · model checking (3) · model validation (1) · moodle (1) · Refinery (1) · safety critical systems (1) · SARIF (1) · stack (1) · static analysis tool (1) · SysML v2 (1) · Theta* (2) · Trusted Execution Environment (1) · version control systems (1)
6 theses in total. View all theses »