Title: Verification of Reactive Systems
Subjects: Computer systems, Verification, Formal methods (Computer science), Computer algorithms, Computer science