Computer Aided Verification
Subtitle: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science)
Contributors: Nicolas Halbwachs (Editor); Doron Peled (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 30, 1999
Language: eng
Format: Paperback
Number of pages: 506
ISBN-13: 9783540662020
Subjects: Software Engineering; Systems analysis & design; General; Formal Language Theory; Computers; Computers - General Information; Computer Books: General; Programming - Software Development; Logic; Logic Design; Computer Aided Verification; Computers / Logic Design; Formal Methods; Hardware Verification; Model Checking; System Analysis; Computer Science
First sentence: As usual, the behavior of a timed system is obtained by composing the behavior of its components.