Table of contents

  1. Front Matter
  2. Hardi Hungar, Orna Grumberg, Werner Damm
    Pages 1-20
  3. Ulrich Stern, David L. Dill
    Pages 21-34
  4. Dirk Eisenbiegler, Ramayya Kumar
    Pages 71-83
  5. M. C. McFarland, T. J. Kowalski
    Pages 103-123
  6. Ana C. V. de Melo, Howard Barringer
    Pages 124-145
  7. F. Corella, M. Langevin, E. Cerny, Z. Zhou, X. Song
    Pages 146-160
  8. Gianpiero Cabodi, Stefano Quer, Paolo Camurati
    Pages 161-170
  9. Ayman Wahba, Dominique Borrione
    Pages 171-188
  10. Ulrich Stern, David L. Dill
    Pages 206-224
  11. Howard Barringer, Graham Gough, Brian Monahan, Alan Williams
    Pages 225-245
  12. R. De Nicola, A. Fantechi, S. Gnesi, S. Larosa, G. Ristori
    Pages 246-260
  13. Serdar TaŞiran, Ramin Hojati, Robert K. Brayton
    Pages 261-277
  14. David Déharbe, Dominique Borrione
    Pages 293-310

About these proceedings

Introduction

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995.
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.

Keywords

Circuit Design Computer Formal Methods Formale Methoden Hardware Hardware Description Languages Hardware Design Hardware Verfication Hardwareverifikation algorithms automata programming semantics theorem proving verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-60385-9
  • Copyright Information Springer-Verlag 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60385-6
  • Online ISBN 978-3-540-45516-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications