Department of Artificial Intelligence and Systems Engineering
abstraction (1) · automaton learning (1) · c program (1) · compiler (1) · formal methods (1) · formal verification (2) · graph database (1) · graph pattern matching (1) · IC3 (1) · model abstraction (1) · model checking (1) · optimizations (1) · PDR (1) · program slicing (1) · Property Directed Reachability (1) · view models (1)
3 theses in total. View all theses »