Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers /
RV 2009(2009 :Grenoble, France)
RV 2009
Bensalem, Saddek.editor.
Peled, Doron A.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
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.
Software engineering.
Computers.
Computer software—Reusability.
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.

Lecture Notes in Computer Science