Runtime Verification

SOMMARIO

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.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9783642046933
• Collana: Lecture Notes in Computer Science
• Dimensioni: 235 x 155 mm Ø 454 gr
• Formato: Brossura
• Illustration Notes: VII, 203 p.
• Pagine Arabe: 203
• Pagine Romane: vii