Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Sokolsky, Oleg (Επιμελητής έκδοσης), Taşıran, Serdar (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4839
• Θέματα: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Management information systems.; Computer Science.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Logics and Meanings of Programs.; Management of Computing and Information Systems.

Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation deals with formal languages suitable for expressing system properties that are checkable at run time; al...

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

• Invited Paper
• PSL for Runtime Verification: Theory and Practice
• AOP-Related Papers
• On the Semantics of Matching Trace Monitoring Patterns
• Collaborative Runtime Verification with Tracematches
• Static and Dynamic Detection of Behavioral Conflicts Between Aspects
• Escaping with Future Variables in HALO
• Runtime Verification of Interactions: From MSCs to Aspects
• Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification
• ARVE: Aspect-Oriented Runtime Verification Environment
• Core Runtime Verification Papers
• From Runtime Verification to Evolvable Systems
• Rule Systems for Run-Time Monitoring: From Eagle to RuleR
• The Good, the Bad, and the Ugly, But How Ugly Is Ugly?
• Translation Validation of System Abstractions
• Instrumentation of Open-Source Software for Intrusion Detection
• Statistical Runtime Checking of Probabilistic Properties
• Temporal Assertions with Parametrised Propositions
• Rollback Atomicity
• Runtime Checking for Program Verification.