Formal Methods in Computer-Aided Design

5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings

  • Alan J. Hu
  • Andrew K. Martin
Conference proceedings FMCAD 2004
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3312)

Table of contents

  1. Front Matter
  2. Wayne Wolf
    Pages 1-5
  3. Thao Dang, Alexandre Donzé, Oded Maler
    Pages 21-36
  4. Behzad Akbarpour, Sofiène Tahar
    Pages 37-51
  5. Julien Schmaltz, Dominique Borrione
    Pages 52-66
  6. Sandip Ray, J. Strother Moore
    Pages 67-81
  7. Panagiotis Manolios, Daron Vroon
    Pages 82-97
  8. Mark D. Aagaard, Vlad C. Ciubotariu, Jason T. Higgins, Farzad Khalvati
    Pages 98-112
  9. Mark D. Aagaard, Nancy A. Day, Robert B. Jones
    Pages 113-127
  10. Laurent Arditi, Gerard Berry, Michael Kishinevsky
    Pages 128-143
  11. Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann
    Pages 159-173
  12. Timo Latvala, Armin Biere, Keijo Heljanko, Tommi Junttila
    Pages 186-200
  13. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    Pages 201-213
  14. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
    Pages 214-229
  15. Alessandro Cimatti, Marco Roveri, Daniel Sheridan
    Pages 245-259
  16. Nina Amla, Ken L. McMillan
    Pages 260-274

About these proceedings

Keywords

Scala algorithms circuit design computer-aided design design automation formal method formal methods formal specification formal verification hardware design model model checking semantics systems design systems verification

Editors and affiliations

  • Alan J. Hu
    • 1
  • Andrew K. Martin
    • 2
  1. 1.Computer Science DepartmentUniversity of British Columbia 
  2. 2.IBM Austin Research LaboratoryAustinUSA

Bibliographic information

  • DOI https://doi.org/10.1007/b102264
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23738-9
  • Online ISBN 978-3-540-30494-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book