PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Case, Michael L."

Author of the publication

copydeleteadd this publication to your clipboard
Approximate reachability with combined symbolic and ternary simulation.

, , , and . FMCAD, page 109-115. FMCAD Inc., (2011)

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.

L. Ahlgrimm

Lambert Theisen University of Stuttgart

Michael Böhm

Michael Funk

Hon. -Prof. Dr. -Ing. Michael Bauer University of Stuttgart

 

Other publications of authors with the same name

Coping with Moore's Law (and more): Supporting arrays in state-of-the-art model checkers., , and . FMCAD, page 61-69. IEEE, (2010)Enhanced verification by temporal decomposition., , , and . FMCAD, page 17-24. IEEE, (2009)Optimal redundancy removal without fixedpoint computation., , , and . FMCAD, page 101-108. FMCAD Inc., (2011)Approximate reachability with combined symbolic and ternary simulation., , , and . FMCAD, page 109-115. FMCAD Inc., (2011)Hybrid verification of a hardware modular reduction engine., , , , , and . FMCAD, page 207-214. FMCAD Inc., (2011)LEC: Learning Driven Data-path Equivalence Checking., , and . DIFTS@FMCAD, volume 1130 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)A semi-canonical form for sequential AIGs., , , , , and . DATE, page 797-802. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Invariant-Strengthened Elimination of Dependent State Elements., , , , and . FMCAD, page 1-9. IEEE, (2008)Automated Extraction of Inductive Invariants to Aid Model Checking., , and . FMCAD, page 165-172. IEEE Computer Society, (2007)Scalable conditional equivalence checking: An automated invariant-generation based approach., , , , and . FMCAD, page 120-127. IEEE, (2009)