RV-monitor: Efficient parametric runtime verification with simultaneous properties
- Qingzhou Luo
- , Yi Zhang
- , Choonghwan Lee
- , Dongyun Jin
- , Patrick O’Neil Meredith
- , Traian Florin Şerbănuţă
- , Grigore Roşu
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution