Verification of Reactive Systems
Subtitle: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Edition: 1 edition
Publisher: Springer
Published: December 11, 2003
Language: eng
Format: Hardcover
Number of pages: 600
ISBN-13: 9783540002963
Subjects: Systems analysis & design; Verification; Formal methods (Computer scien; Computer systems; Computers; Computers - General Information; Programming - Systems Analysis & Design; Computer Books: General; Programming - Software Development; Formal methods (Computer science); Computer Science; Computers / Computer Science; Model Checking; Reactive Systems; Specification; Temporal Logic; Computer algorithms; Programming - Algorithms
First sentence: The development of information processing systems, especially if these consist of concurrent processes, is a very complicated task.