Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems.

Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka

Browse the full RTSS paper archive.