Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas "95, Aarhus, Denmark, May 19-20, 1995 
Subtitle: Selected Papers (Lecture Notes in Computer Science)
Publisher: Springer-Verlag
Published: November 1995
Language: eng
Format: Paperback
ISBN-13: 9780387606309
Subjects: Programming - Systems Analysis & Design; Software Development; Systems Analysis (Computer Science); Computers; Computer software; Congress; Congresses; Development; Distributed processing; Electronic data processing; System design; Science/Mathematics
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.