RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties.

Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu

Browse the full RV paper archive.