Patents

Selected Patents and Patent Applications

  • Hana Chockler, Oded Margalit, Dmitry Pidan, Sitvanit Ruah. Avoiding similar counterexamples in model-checking. US2015074652 (A1), 12/03/2015.
  • Hana Chockler, Oded Margalit, Dmitry Pidan, Sitvanit Ruah. Directing verification towards bug-prone portions. US2015074651 (A1), US9389984 (B2), 12/03/2015.
  • Hana Chockler, Dmitry Pidan, Sitvanit Ruah, Karen Yorav. Dominant-state-based coverage metric. US2014215445 (A1), US8856755 (B2), 31/07/2014.
  • Hana Chockler, Sitvanit Ruah. Validation of revised computer programs. US2014208297 (A1), 24/07/2014.
  • Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo. Incremental formal verification, US2013060545 (A1), US8996339 (B2), 07/03/2013.
  • Hana Chockler, Sharon Keidar-Barner. Concretization of abstracted traces. US2011218794 (A1), US8903700 (B2), 08/09/2011.
  • Orna Raz, Eitan Farchi, Yochai Ben-Chaim, Hana Chockler, Lawrence Blount, Aviad Zlotnick. Hierarchical aggregation system for advanced metering infrastructures. US2011202904 (A1), US8448147 (B2), 18/08/2011.
  • Yochai Ben-Chaim, Lawrence Blount, Hana Chockler, Eitan Farchi, Orna Raz-Peleg, Aviad Zlotnick. Selective Code Coverage Instrumentation. US2010131930 (A1), 27/05/ 2010.
  • Rachel Tzoref, Hana Chockler, Eitan Farchi. Using automatically generated decision trees for design and review documentation. US2009276379 (A1), 05/11/2009.
  • Hana Chockler, Eitan Farchi, Benyamin Godlin. Replay of program executions using cross- entropy. US2009106740 (A1), US8327334 (B2), 23/04/2009.
  • Hana Chockler, Eitan Farchi, Benyamin Godlin, Sergey Novikov. Using Cross-entropy to Test Executable Logic Code. US2009106737 (A1), US8056059 (B2), 23/04/2009.
  • Hana Chockler, Ziv Glazberg, Benyamin Godlin, Sharon Keidar-Barner. Model Checking of Non-Terminating Software Programs. US2008098347 (A1), US7921411 (B2), 24/04/2008.
  • Hana Chockler, Eitan Farchi, Ziv Glazberg, Benyamin Godlin. Equalizing probabilities of testing different paths in the program. US2008052692 (A1), US7853932 (B2), 28/02/2008.