1 option
Lectures on Runtime Verification : Introductory and Advanced Topics / edited by Ezio Bartocci, Yliès Falcone.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Programming and software engineering ; SL 2, 10457.
- Programming and Software Engineering ; 10457
- Language:
- English
- Subjects (All):
- Software engineering.
- Computers.
- Computer logic.
- Computer system failures.
- Software Engineering.
- The Computing Profession.
- Logics and Meanings of Programs.
- System Performance and Evaluation.
- Local Subjects:
- Software Engineering.
- The Computing Profession.
- Logics and Meanings of Programs.
- System Performance and Evaluation.
- Physical Description:
- 1 online resource (VII, 233 pages) : 28 illustrations.
- Edition:
- First edition 2018.
- Contained In:
- Springer eBooks
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2018.
- System Details:
- 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.
- Contents:
- An Introduction to Runtime Verification
- Discovering Concurrency Errors
- Monitoring Events That Carry Data
- Runtime Error Reaction and Prevention
- Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
- Runtime Verification for Decentralized and Distributed Systems
- Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-319-75632-5
- 9783319756325
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.