Rehovot
Israel
1
2005-12-15
Nir Piterman from Rehovot, IL has applied for patents for these inventions. The list has both pending applications and granted patents:
Detecting vacuously satisfield specifications in model checking
4959469 ⎘