Specifying and Verifying a Real-Time Priority Queue with Modal Algebra.

Victor Yodaiken, Krithi Ramamritham

Browse the full RTSS paper archive.