Department of Artificial Intelligence and Systems Engineering
abstract interpretation (1) · abstraction (2) · abstraction refinement (1) · bounded model checking (2) · C (1) · CEGAR (4) · cfa (1) · compiler (1) · formal methods (2) · formal verification (3) · Gamma (1) · hierarchical (1) · integration (1) · LLVM (1) · memory model (1) · model checking (2) · modellellenőrzés (1) · multi-threading (1) · partial order reduction (1) · Petri Nets (1) · PLC (1) · product-based abstraction (1) · program analysis (1) · reachability analysis (1) · SAT (1) · SMT (2) · smt-lib (1) · software verification (1) · statechart (1) · statecharts (1) · static analysis (1) · static analysis tool (1) · Theta (2) · Theta* (1) · traceability (1) · verfication (1) · verification techniques (1)
10 theses in total. View all theses »