A Practical Application of UPPAAL and DTRON for Runtime Verification.

Dragos Truscan, Tanwir Ahmad, Faezeh Siavashi, Pekka Tuuttila

Browse the full ICSE paper archive.