Limor Fix

Follow

Person

Zichron Yaakov, IL

People

Patents Applicationslast 30 patents

Information Patent Application
Detecting vacuously satisfield specifications in model checking
- Publication number 20050278153
- Publication date Dec 15, 2005
- Roy Armoni
- G06 - COMPUTING CALCULATING COUNTING