| 2006 | A Formal Model of Lower System Layers. Julien Schmaltz |
| 2006 | A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification. Husam Abu-Haimed, David L. Dill, Sergey Berezin |
| 2006 | ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool. Jun Sawada, Erik Reeber |
| 2006 | Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling. Florian Pigorsch, Christoph Scholl, Stefan Disch |
| 2006 | An Improved Distance Heuristic Function for Directed Software Model Checking. Neha Rungta, Eric G. Mercer |
| 2006 | An Integration of HOL and ACL2. Michael J. C. Gordon, James Reynolds, Warren A. Hunt Jr., Matt Kaufmann |
| 2006 | Ario: A Linear Integer Arithmetic Logic Solver. Hossein M. Sheini, Karem A. Sakallah |
| 2006 | Assume-Guarantee Reasoning for Deadlock. Sagar Chaki, Nishant Sinha |
| 2006 | Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy |
| 2006 | Design for Verification of the PCI-X Bus. Haja Moinudeen, Ali Habibi, Sofiène Tahar |
| 2006 | Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler |
| 2006 | Finite Instantiations for Integer Difference Logic. Hyondeuk Kim, Fabio Somenzi |
| 2006 | Formal Analysis and Verification of an OFDM Modem Design using HOL. Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar |
| 2006 | Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings |
| 2006 | From PSL to NBA: a Modular Symbolic Encoding. Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta |
| 2006 | Liveness and Boundedness of Synchronous Data Flow Graphs. Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk |
| 2006 | Model Checking Data-Dependent Real-Time Properties of the European Train Control System. Johannes Faber, Roland Meyer |
| 2006 | Optimizations for LTL Synthesis. Barbara Jobstmann, Roderick Bloem |
| 2006 | Over-Approximating Boolean Programs with Unbounded Thread Creation. Byron Cook, Daniel Kroening, Natasha Sharygina |
| 2006 | Post-reboot Equivalence and Compositional Verification of Hardware. Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna |
| 2006 | Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou |
| 2006 | Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands. Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu |
| 2006 | Symmetry Reduction for STE Model Checking. Ashish Darbari |
| 2006 | Synchronous Elastic Networks. Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary |
| 2006 | Thorough Checking Revisited. Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik |
| 2006 | Tracking MUSes and Strict Inconsistent Covers. Éric Grégoire, Bertrand Mazure, Cédric Piette |
| 2006 | Understanding the Dynamic Behavior of Modern DPLL SAT Solvers through Visual Analysis. Cameron Brien, Sharad Malik |