loadpatents
Patent applications and USPTO patent grants for Chockler; Hana.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 |
Incremental formal verification Grant 8,996,339 - Chockler , et al. March 31, 2 | 2015-03-31 |
Avoiding Similar Counter-examples In Model Checking App 20150074652 - CHOCKLER; HANA ;   et al. | 2015-03-12 |
Directing Verification Towards Bug-prone Portions App 20150074651 - CHOCKLER; HANA ;   et al. | 2015-03-12 |
Concretization of abstracted traces Grant 8,903,700 - Chockler , et al. December 2, 2 | 2014-12-02 |
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 |
Concretization of abstracted traces Grant 8,639,490 - Chockler , et al. January 28, 2 | 2014-01-28 |
Heterogenic Coverage Analysis Grant 8,448,147 - Raz , et al. May 21, 2 | 2013-05-21 |
Incremental Formal Verification App 20130060545 - Chockler; Hana ;   et al. | 2013-03-07 |
Replay of program executions using cross-entropy Grant 8,327,334 - Chockler , et al. December 4, 2 | 2012-12-04 |
Using cross-entropy to test executable logic code Grant 8,056,059 - Chockler , et al. November 8, 2 | 2011-11-08 |
Concretization Of Abstracted Traces App 20110218794 - Chockler; Hana ;   et al. | 2011-09-08 |
Concretization Of Abstracted Traces App 20110218793 - Chockler; Hana ;   et al. | 2011-09-08 |
Hierarchical aggregation system for advanced metering infrastructures App 20110202904 - Raz; Orna ;   et al. | 2011-08-18 |
Model checking of non-terminating software programs Grant 7,921,411 - Chockler , et al. April 5, 2 | 2011-04-05 |
System, method and computer program product for checking a software entity Grant 7,853,932 - Chockler , et al. December 14, 2 | 2010-12-14 |
Selective Code Coverage Instrumentation App 20100131930 - Ben-Chaim; Yochai ;   et al. | 2010-05-27 |
Using automatically generated decision trees to assist in the process of design and review documentation App 20090276379 - Tzoref; Rachel ;   et al. | 2009-11-05 |
Using Cross-entropy to Test Executable Logic Code App 20090106737 - CHOCKLER; Hana ;   et al. | 2009-04-23 |
Replay of program executions using cross-entropy App 20090106740 - Chockler; Hana ;   et al. | 2009-04-23 |
Model Checking of Non-Terminating Software Programs App 20080098347 - Chockler; Hana ;   et al. | 2008-04-24 |
System, Method and Computer Program Product for Checking a Software Entity App 20080052692 - Chockler; Hana ;   et al. | 2008-02-28 |
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.