1 option
Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / edited by Saddek Bensalem, Doron A. Peled.
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, 5779.
- Programming and Software Engineering ; 5779
- Language:
- English
- Subjects (All):
- Software engineering.
- Computers.
- Computer software--Reusability.
- Computer software.
- Programming languages (Electronic computers).
- Computer system failures.
- Software Engineering.
- Software Engineering/Programming and Operating Systems.
- Theory of Computation.
- Performance and Reliability.
- Programming Languages, Compilers, Interpreters.
- System Performance and Evaluation.
- Local Subjects:
- Software Engineering.
- Software Engineering/Programming and Operating Systems.
- Theory of Computation.
- Performance and Reliability.
- Programming Languages, Compilers, Interpreters.
- System Performance and Evaluation.
- Physical Description:
- 1 online resource (VII, 203 pages).
- Edition:
- First edition 2009.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
- System Details:
- text file PDF
- Contents:
- Rule Systems for Runtime Verification: A Short Tutorial
- Verification, Testing and Statistics
- Type-Separated Bytecode - Its Construction and Evaluation
- Runtime Verification of Safety-Progress Properties
- Monitor Circuits for LTL with Bounded and Unbounded Future
- State Joining and Splitting for the Symbolic Execution of Binaries
- The LIME Interface Specification Language and Runtime Monitoring Tool
- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing
- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming
- Runtime Verification of C Memory Safety
- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis
- Hardware Supported Flexible Monitoring: Early Results
- DMaC: Distributed Monitoring and Checking.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-04694-0
- 9783642046940
- 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.