Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (20 papers)
-
Front Matter
About this book
The 20 revised full papers presented were carefully selected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and VHDL.
Bibliographic Information
Book Title: Correct Hardware Design and Verification Methods
Book Subtitle: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings
Editors: Paolo E. Camurati, Hans Eveking
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-60385-9
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Softcover ISBN: 978-3-540-60385-6Published: 18 September 1995
eBook ISBN: 978-3-540-45516-5Published: 30 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 346
Topics: Computer System Implementation, Electronics and Microelectronics, Instrumentation, Input/Output and Data Communications, Software Engineering, Logics and Meanings of Programs