Rule systems for runtime verification: A short tutorial (2009)

by Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce
Venue:In Proc. of the 9th Int. Workshop on Runtime Verification (RV’09), volume 5779 of LNCS