Formal methods in computer aided design, FMCAD 2007, November 11-14, 2007, Austin, Texas, USA : proceedings

ion-Based Methods Computing Abstractions by integrating BDDs and SMT ............................................................................. 69 Roberto Cavada, Alessandro Cimatti, Anders Franzen, Kalyanasundaram Krishnamani, Marco Roveri, and R.K. Shyamasundar Induction in CEGAR for Detecting Counterexamples................................................................................. 77 Chao Wang, Aarti Gupta, and Franjo Ivancic Lifting Propositional Interpolants to the Word-Level .................................................................................. 85 Daniel Kroening and Georg Weissenbacher Software Analysis Methods Global Optimization of Compositional Systems ......................................................................................... 93 Fadi Zaraket, John Pape, Adnan Aziz, Margarida Jacome, and Sarfraz Khurshid Cross-Entropy Based Testing ....................................................................................................................101 Hana Chockler, Benny Godlin, Eitan Farchi, and Sergey Novikov Symbolic Trajectory Evaluation Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ..................................111 Yan Chen, Yujing He, Fei Xie, and Jin Yang A Logic for GSTE ....................................................................................................................................119 Edward Smith Automatic Abstraction in Symbolic Trajectory Evaluation.........................................................................127 Sara Adams, Magnus Bjork, Tom Melham, and Carl-Johan Seger Specification Theory A Coverage Analysis for Safety Property Lists ...........................................................................................139 Koen Claessen What triggers a behavior?..........................................................................................................................146 Orna Kupferman and Yoad Lustig Two-Dimensional Regular Expressions for Compositional Bus Protocols ...................................................154 Kathi Fisler A Quantitative Completeness Analysis for Property-Sets............................................................................158 Martin Oberkönig, Martin Schickel, and Hans Eveking