Tools and Algorithms for the Construction and Analysis of Systems
Subtitle: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: May 9, 1997
Language: eng
Format: Paperback
Number of pages: 433
ISBN-13: 9783540627906
Subjects: Systems analysis & design; Utilities & tools; System design; Logic Design; Software Development; Systems Analysis (Computer Science); Computers; Computers - Languages / Programming; Computer Books: General; Programming - Systems Analysis & Design; Networking - General; Programming - Software Development; Computers / Programming / Software Development; Modellprüfung; Softwareentwicklung; Systemanalyse; Systementwurf; Tools; Computer software; Congresses; Development
First sentence: One of the most important tasks during the construction and design of Integrated Circuits (ICs) is the proof of correctness, i.e. the check whether the design fulfills the specification.