ENGLISH

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

By Alan J. Hu , Wayne Wolf (auth.) , Andrew K. Martin (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2004
ISBN
3540237380, 9783540304944, 9783540237389
DOI
10.1007/b102264
ASIN
B000V6H4HU
LCC
TK7874.65 .F53 2004
Open Library ID
OL3316734M
Language
english
Format
PDF
Filesize
16 MB (16785043 bytes)
Series
Lecture Notes in Computer Science 3312
Edition
1
Pages
448\465
Topic
Computers
Time added
2011-06-04 13:46:07
CAE) and DesignComputer Hardware; Software Engineering; Logics an

Description

This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Austin, Texas, USA in November 2004. The 29 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from 69 submissions. The papers address all current issues on tools, methods, algorithms, and foundational theory for the application of formalized reasoning to all aspects of computer-aided systems design, including specification, verification, synthesis, and testing.

Similar books