Technion web site Industrial Engineering and Management  
Hebrew     English

 
 
 
 
 
     Strichman     Ofer
    Associate Professor

Formal verification of software and hardware; Decision procedures for fragments of first-order logic.
   

 
 

Home | Faculty | Research | Courses & Programs | Students | Library | Alumni | About UsTop of page
http://ie.technion.ac.il/index.php         Total hits: 3023068        Users online: 1                 Last updated at 15:25 - Wednesday Aug,22nd, 2012