Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

ISBN 10: 3540237380 / ISBN 13: 9783540237389

Published by Springer Berlin / Heidelberg, 2004

About this Item

Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Seller Inventory # 57732308-6

Bibliographic Details

• Title: Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
• Publisher: Springer Berlin / Heidelberg
• Publication Date: 2004
• Language: English
• ISBN 10: 3540237380
• ISBN 13: 9783540237389
• Binding: Soft cover
• Condition: Good
• Weight: 3.153 pounds

About this title

Synopsis

These are the proceedings of the ?fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA. The conference provides a forum for presenting state-of-the-art tools, methods, algorithms, and theory for the application of formalized r- soning to all aspects of computer-aided system design, including speci?cation, veri?cation, synthesis, and testing. FMCAD's heritagedates back20 yearsto someof the earliestconferenceson the subjectofformalreasoningandcomputer-aideddesign.Since 1996, FMCAD has assumedits presentform, heldbiennially inNorthAmerica, alternatingwith its sister conference CHARME in Europe. We are delighted to report that our researchcommunitycontinuesto?ourish: wereceived69papersubmissions, with many more high-quality papers than we had room to accept. After a rigorous review process, in which each paper received at least three, and typically four or more, independent reviews, we accepted 29 papers for the conference and inclusion in this volume. The conference also included invited talks from Greg Spirakis of Intel Corporation and Wayne Wolf of Princeton University. A conference of this size requires the contributions of numerous people. On the technical side, we are grateful to the program committee and the additional reviewers for their countless hours reviewing submissions and ensuring the int- lectual quality of the conference. We would also like to thank the steering c- mittee for their wisdom and guidance. On the logistical side, we thank Christa Mace for designing our website and attending to countless organizational tasks. And we thank our corporate sponsors - AMD, IBM, Intel, and Synopsys - for ?nancial support that helped make this conference possible.