Ausgabe 3/2012
Runtime Verification
Inhalt (6 Artikel)
Introduction
Introduction to the special section on runtime verification
Oleg Sokolsky, Klaus Havelund, Insup Lee
Runtime Verification
An overview of the MOP runtime verification framework
Patrick O’Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Roşu
Runtime Verification
Runtime verification of concurrency-specific correctness criteria
Shaz Qadeer, Serdar Tasiran
Runtime Verification
Software monitoring with controllable overhead
Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok
Runtime Verification
What can you verify and enforce at runtime?
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier