• F
  • FMCAD
  • 2006
  • Formal Methods in Computer Aided Design (FMCAD'06)
Advanced Search 
Formal Methods in Computer Aided Design (FMCAD'06)
San Jose, California, USA
November 12-November 16
ISBN: 0-7695-2707-8
Table of Contents
Introduction
Hardware Verification
Tilman Glokler, IBM Deutschland Entwicklung GmbH
Jason Baumgartner, IBM Systems & Technology Group
Devi Shanmugam, IBM Systems & Technology Group
Rick Seigler, IBM Systems & Technology Group
Gary Van Huben, IBM Systems & Technology Group
Barinjato Ramanandray, IBM Deutschland Entwicklung GmbH
Hari Mony, IBM Systems & Technology Group
Paul Roessler, IBM Systems & Technology Group
pp. 3-10
Sava Krstic, Intel Corporation, USA
Jordi Cortadella, Universitat Politecnica de Catalunya, Spain
Mike Kishinevsky, Intel Corporation, USA
John O?Leary, Intel Corporation, USA
pp. 19-30
SAT-Based Methods
Hyondeuk Kim, University of Colorado at Boulder, USA
Fabio Somenzi, University of Colorado at Boulder, USA
pp. 31-38
Eric Gregoire, Universite d?Artois, France
Bertrand Mazure, Universite d?Artois, France
Cedric Piette, Universite d?Artois, France
pp. 39-46
Hossein M. Sheini, University of Michigan, USA
Karem A. Sakallah, University of Michigan, USA
pp. 47-48
Software Verification
Byron Cook, Microsoft Research
Daniel Kroening, Computer Systems Institute, ETH, Switzerland
Natasha Sharygina, University of Lugano, Switzerland
pp. 53-59
A.H. Ghamarian, Eindhoven University of Technology, Netherlands
M.C.W. Geilen, Eindhoven University of Technology, Netherlands
T. Basten, Eindhoven University of Technology, Netherlands
B.D. Theelen, Eindhoven University of Technology, Netherlands
M.R. Mousavi, Eindhoven University of Technology, Netherlands
S. Stuijk, Eindhoven University of Technology, Netherlands
pp. 68-75
Johannes Faber, University of Oldenburg, Germany
Roland Meyer, University of Oldenburg, Germany
pp. 76-77
Model Checking
Florian Pigorsch, Albert-Ludwigs-Universitat Freiburg, Institut fur Informatik, Germany
Christoph Scholl, Albert-Ludwigs-Universitat Freiburg, Institut fur Informatik, Germany
Stefan Disch, Albert-Ludwigs-Universitat Freiburg, Institut fur Informatik, Germany
pp. 89-96
Shiva Nejati, University of Toronto, Canada
Mihaela Gheorghiu, University of Toronto, Canada
Marsha Chechik, University of Toronto, Canada
pp. 106-116
Automata Theoretic Methods
Barbara Jobstmann, Graz University of Technology
Roderick Bloem, Graz University of Technology
pp. 117-124
Sagar Chaki, Software Engineering Institute
Nishant Sinha, Carnegie Mellon University
pp. 134-144
Theorem Proving
Michael J.C. Gordon, University of Cambridge Computer Laboratory, UK
James Reynolds, University of Cambridge Computer Laboratory, UK
Warren A. Hunt, Department of Computer Sciences, USA
Matt Kaufmann, Department of Computer Sciences, USA
pp. 153-160
Testing and Verification Applications
C. Helmstetter, Verimag, Centre equation, France; STMicroelectronics, HPC, System Platform Group, France
F. Maraninchi, Verimag, Centre equation, France
L. Maillet-Contoz, STMicroelectronics, HPC, System Platform Group, France
M. Moy, Verimag, Centre equation, France
pp. 171-178
Haja Moinudeen, Concordia University, Canada
Ali Habibi, Concordia University, Canada
Sofiene Tahar, Concordia University, Canada
pp. 187-188
Abu Nasser M. Abdullah, Concordia University, Canada
Behzad Akbarpour, University of Cambridge, UK
Sofiene Tahar, Concordia University, Canada
pp. 189-190
Julien Schmaltz, Saarland University, Germany
pp. 191-192
Author Index
Usage of this product signifies your acceptance of the Terms of Use.