A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications.

Zhe Dang, Richard A. Kemmerer

Browse the full RTCSA paper archive.