CoPS - Checker of Persistent Security.

Carla Piazza, Enrico Pivato, Sabina Rossi

Browse the full TACAS paper archive.