Ofer Strichman

Follow

Person

Tivon, IL

People

Patents Applicationslast 30 patents

Information Patent Application
Device, System and Method of Underapproximated Model-Checking
- Publication number 20090112547
- Publication date Apr 30, 2009
- Arie MATSLIAH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Clause and Proof Tightening
- Publication number 20090024557
- Publication date Jan 22, 2009
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING