( en | de | ru )

 

Disambiguation of "Mony, Hari"

Author of the publication

copydeleteadd this publication to your clipboard
Scalable reachability analysis via automated dynamic netlist-based hint generation.

, , , and . Formal Methods Syst. Des., 45 (2): 144-164 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bruno Mony

Hannelore Monyer

Hari Paudel

Hari Petsos

Jürg Hari

 

Other publications of authors with the same name

Invariant-Strengthened Elimination of Dependent State Elements., , , , and . FMCAD, page 1-9. IEEE, (2008)Enhanced reachability analysis via automated dynamic netlist-based hint generation., , , and . FMCAD, page 157-164. IEEE, (2012)IC3-guided abstraction., , , and . FMCAD, page 182-185. IEEE, (2012)Exploiting suspected redundancy without proving it., , , and . DAC, page 463-466. ACM, (2005)Scalable conditional equivalence checking: An automated invariant-generation based approach., , , , and . FMCAD, page 120-127. IEEE, (2009)Scalable reachability analysis via automated dynamic netlist-based hint generation., , , and . Formal Methods Syst. Des., 45 (2): 144-164 (2014)Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies., and . CHARME, volume 3725 of Lecture Notes in Computer Science, page 222-237. Springer, (2005)Exploiting Constraints in Transformation-Based Verification., , and . CHARME, volume 3725 of Lecture Notes in Computer Science, page 269-284. Springer, (2005)Scalable Sequential Equivalence Checking across Arbitrary Design Transformations ., , , , and . ICCD, page 259-266. IEEE, (2006)Coping with Moore's Law (and more): Supporting arrays in state-of-the-art model checkers., , and . FMCAD, page 61-69. IEEE, (2010)