MPG.eBooks - Table of Contents: Runtime Verification

Read Now

Bibliographic Details
Other Authors:	Bensalem, Saddek (Editor), Peled, Doron A. (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2009, 2009
Edition:	1st ed. 2009
Series:	Programming and Software Engineering
Subjects:	Electronic Digital Computers / Evaluation Compilers (computer Programs) Compilers And Interpreters Software Engineering Computer Science System Performance And Evaluation Hardware Performance And Reliability Computers Theory Of Computation
Online Access:	https://doi.org/10.1007/978-3-642-04694-0?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa

Table of 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