Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers /
Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / [electronic resource] :
edited by Saddek Bensalem, Doron A. Peled.
- 1st ed. 2009.
- VII, 203 p. online resource.
- Programming and Software Engineering, 5779 2945-9168 ; .
- Programming and Software Engineering, 5779 .
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.
9783642046940
10.1007/978-3-642-04694-0 doi
Software engineering.
Computer science.
Computers.
Compilers (Computer programs).
Electronic digital computers--Evaluation.
Software Engineering.
Theory of Computation.
Hardware Performance and Reliability.
Compilers and Interpreters.
System Performance and Evaluation.
QA76.758
005.1
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.
9783642046940
10.1007/978-3-642-04694-0 doi
Software engineering.
Computer science.
Computers.
Compilers (Computer programs).
Electronic digital computers--Evaluation.
Software Engineering.
Theory of Computation.
Hardware Performance and Reliability.
Compilers and Interpreters.
System Performance and Evaluation.
QA76.758
005.1