Runtime Verification Based on Register Automata.

Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos

Browse the full TACAS paper archive.