Inventor

VALDIVIEZO BASAURI MANUEL JAVIER

AU2 patents

⚠️ This page may combine multiple inventors who share the name “VALDIVIEZO BASAURI MANUEL JAVIER”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

VALDIVIEZO BASAURI MANUEL JAVIER

1 patent

US8732669B2May 20, 2014

Efficient model checking technique for finding software defects

VALDIVIEZO BASAURI MANUEL JAVIER26 citations85

ORACLE INT CORP

1 patent

US9208057B2Dec 8, 2015

Efficient model checking technique for finding software defects

ORACLE INT CORP8 citations79