Strichman, Ofer
Professor
Research Interests:
- Formal verification of finite-state systems, model-checking and bounded model-checking
- Decision procedures for first-order theories in the Satisfiability Modulo Theories (SMT) framework
- SAT and CSP
- Program equivalence checking
+972 77 887 4433|
|
