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

Front Cover
Springer Science & Business Media, Nov 17, 2004 - Computers - 444 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
II
6
III
21
IV
37
V
52
VII
67
IX
82
X
98
XIX
230
XX
245
XXI
260
XXII
275
XXIII
290
XXIV
306
XXV
322
XXVI
337

XI
113
XII
128
XIII
144
XIV
159
XV
174
XVI
186
XVII
201
XVIII
214
XXVII
352
XXVIII
367
XXIX
382
XXX
399
XXXI
414
XXXII
430
XXXIV
445
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information