loadpatents
Patent applications and USPTO patent grants for Ruah; Sitvanit.The latest application filed is for "avoiding similar counter-examples in model checking".
Patent | Date |
---|---|
Directing verification towards bug-prone portions Grant 9,389,984 - Chockler , et al. July 12, 2 | 2016-07-12 |
Conducting verification in event processing applications using formal methods Grant 9,043,746 - Rabinovich , et al. May 26, 2 | 2015-05-26 |
Directing Verification Towards Bug-prone Portions App 20150074651 - CHOCKLER; HANA ;   et al. | 2015-03-12 |
Avoiding Similar Counter-examples In Model Checking App 20150074652 - CHOCKLER; HANA ;   et al. | 2015-03-12 |
Dominant-state-based coverage metric Grant 8,856,755 - Chockler , et al. October 7, 2 | 2014-10-07 |
Dominant-state-based Coverage Metric App 20140215445 - Chockler; Hana ;   et al. | 2014-07-31 |
Validation of revised computer programs App 20140208297 - Chockler; Hana ;   et al. | 2014-07-24 |
Model generation based on a constraint and an initial model Grant 8,352,234 - Keidar Barner , et al. January 8, 2 | 2013-01-08 |
Conducting Verification In Event Processing Applications Using Formal Methods App 20120233587 - Rabinovich; Ella ;   et al. | 2012-09-13 |
Verification using directives having local variables Grant 8,219,376 - Pidan , et al. July 10, 2 | 2012-07-10 |
Model Generation Based On A Constraint And An Initial Model App 20110071809 - Keidar-Barner; Sharon ;   et al. | 2011-03-24 |
Device, system and method for formal verification Grant 7,725,851 - Eisner , et al. May 25, 2 | 2010-05-25 |
Design verification using directives having local variables App 20090216513 - Pidan; Dmitry ;   et al. | 2009-08-27 |
Device, System and Method for Formal Verification App 20090064064 - Eisner; Cynthia Rae ;   et al. | 2009-03-05 |
uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.
While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.
All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.