27 citations · 106 across the 15 of their papers we have counts for
1 paper · 2 filters
Katarína Kejstová, Petr Ročkai, Jiří Barnat
We describe a novel approach for adapting an existing software model checker to perform precise runtime verification. The software under test is allowed to communicate with the wid…