Symbolic Model Checking for Event-Driven Real-Time Systems.

Jin Yang, Aloysius K. Mok, Farn Wang

Browse the full RTSS paper archive.