27 citations · 47 across the 17 of their papers we have counts for
1 paper · 1 filter
Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen +1
We propose TOPL automata as a new method for runtime verification of systems with unbounded resource generation. Paradigmatic such systems are object-oriented programs which can dy…