Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bensalem, Saddek (Επιμελητής έκδοσης), Peled, Doron A. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Σειρά: Lecture Notes in Computer Science, 5779
• Θέματα: Computer science.; Computer software > Reusability.; Computer system failures.; Software engineering.; Programming languages (Electronic computers).; Computers.; Computer Science.; Software Engineering.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Performance and Reliability.; Programming Languages, Compilers, Interpreters.; System Performance and Evaluation.

Πίνακας περιεχομένων:

• 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.