Grumberg, Orna
cs.technion.ac.ilThe Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.