Lectures on runtime verification : introductory and advanced topics /

Saved in:

Bibliographic Details
Imprint:	Cham : Springer, 2018.
Description:	1 online resource (VII, 233 pages) : illustrations
Language:	English
Series:	Lecture Notes in Computer Science, 0302-9743 ; 10457 LNCS sublibrary: SL2 - Programming and software engineering Lecture notes in computer science ; 10457. Lecture notes in computer science. Tutorial.
Subject:	Computer software -- Verification. Formal methods (Computer science) Computer software -- Testing. Formal methods (Computer science) Computer software -- Verification. Computer software -- Testing. Software engineering. Computers. Computer system failures. Computer science. Computer logic. Electronic books.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11543731

Hidden Bibliographic Details
Other authors / contributors:	Bartocci, Ezio (Computer scientist), editor. Falcone, Yliès, editor.
ISBN:	9783319756325 331975632X 9783319756318 3319756311
Digital file characteristics:	text file PDF
Summary:	The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.
Other form:	Printed edition: 9783319756318
Standard no.:	10.1007/978-3-319-75632-5

Similar Items