CIS 842: Specification and Verification of Reactive Systems Lecture 3: Temporal Logic Specifications Copyright 2001, Matt Dwyer, John Hatcliff, and Radu Iosif. The syllabus…