Computer Aided Verification
Subtitle: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: July 11, 1997
Language: eng
Format: Paperback
Number of pages: 486
ISBN-13: 9783540631668
Subjects: Applications of Computing; General Theory of Computing; Programming - Systems Analysis & Design; Software Engineering; Computers; Computers - General Information; Computer Books: General; Logic Design; Programming - Software Development; Automatische Deduktion; Computergestützte Verifikation; Computers / Logic Design; Formale Methoden; Formale Verifikation; Modellprüfung; automated deduction; computer aided verification; formal methods; formal verification; Computer Science
First sentence: Formal verification of hardware design is rapidly becoming accepted as an alternative to the traditional strategy of verification via simulation.