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