Title: Temporal verification of reactive systems
Subjects: Computer software, Parallel processing (Electronic computers), Verification, Computer software, reliability