Advertisement

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
  17. Orna Grumberg, Assaf Schuster, Avi Yadgar
    Pages 275-289
  18. Tobias Nopper, Christoph Scholl
    Pages 290-305
  19. Arie Gurfinkel, Marsha Chechik
    Pages 306-321
  20. Marko Samer, Helmut Veith
    Pages 322-336
  21. Koen Claessen, Johan Mårtensson
    Pages 337-351
  22. Luboš Brim, Ivana Černá, Pavel Moravec, Jiří Šimša
    Pages 352-366
  23. Peter C. Dillinger, Panagiotis Manolios
    Pages 367-381
  24. Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park
    Pages 382-398
  25. Debashis Sahoo, Subramanian Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill et al.
    Pages 399-413
  26. Christian Stangier, Thomas Sidle
    Pages 414-429
  27. Zijiang Yang, Rajeev Alur
    Pages 430-444
  28. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Automotive
Chemical Manufacturing
Electronics
IT & Software
Aerospace
Oil, Gas & Geosciences
Engineering