Efficient verification of real-time systems: compact data structure and state-space reduction.

Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

Browse the full RTSS paper archive.