Systems and Software Verification
Subtitle: Model-Checking Techniques and Tools
Contributors: P. McKenzie (Translator)
Edition: 1 edition
Publisher: Springer
Published: August 9, 2001
Language: eng
Format: Hardcover
Number of pages: 196
ISBN-13: 9783540415237
Subjects: Software engineering; Systems analysis & design; Programming - Software Development; Computer software; Software Quality Control; Formal Language Theory; Computers; Computers - Languages / Programming; Computer Science; Computer Books: General; Verification; Computer Engineering; Artificial Intelligence - General; Computers / Programming / Software Development; Computers : Artificial Intelligence - General; Model Checking; Software Verification; Temporal Logics; Tools; Transition System; Computer systems
First sentence: As mentioned in the foreword, model checking consists in verifying some properties of the model of a system.