A Stream Runtime Verification Tool with Nested and Retroactive Parametrization.

Paloma Pedregal, Felipe Gorostiaga, Csar Snchez

Browse the full RV paper archive.