A Transformational Method for Verifying Safety Properties in Real-Time Systems.

Matthew K. Franklin, Armen Gabrielian

Browse the full RTSS paper archive.