Introduction to the special issue on runtime verification

Oleg Sokolsky, Grigore Rosu. Introduction to the special issue on runtime verification. Formal Methods in System Design, 41(3):233-235, 2012. [doi]

Abstract

Abstract is missing.