Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract ... A, Computer Science and Technology, A-10) - Softcover

IFIP TC10/WG10.2 International Conference On Theorem Provers In Circuit Design: Theory, Practice, And Experience (1992 : Nijmegen, Netherlands); Melham, T. F.; Stavridou, V.

Softcover

ISBN 10: 0444896864 ISBN 13: 9780444896865

Publisher: North-Holland, 1992

Synopsis

The papers in this volume address the role of mechanized theorem proving technology in the design of digital systems. The primary focus is on the practical application of theorem provers to digital design, rather than on theoretical foundations. The diverse contributions include invited papers by the leading researchers Gordon and Hunt as well as technical contributions by many other prominent researchers in the field of machine-assisted hardware verification. This side of the Proceedings reflects current research activity and the section containing tutorial papers on several influential theorem provers serves as an introduction to this exciting field.

Edition details

• Publisher: North-Holland
• Publication date: 1992
• Language: English
• ISBN 10: 0444896864
• ISBN 13: 9780444896865
• Binding: Paperback
• Number of pages: 360
• Editor: Boute R. T.