Completed
CTL and CTF
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Interview Structure
- 3 Turing Award citation
- 4 Early childhood
- 5 High school
- 6 Parents
- 7 College
- 8 College Years
- 9 Returning to UT
- 10 Visiting the Northeast
- 11 Wife
- 12 Harvard
- 13 Computer Science Education
- 14 Computer Science Courses
- 15 Interest in Verification
- 16 State of the Art in Verification
- 17 What is Model Checking
- 18 The Invention of Model Checking
- 19 CTL and CTF
- 20 Model checking
- 21 Rebranding a paper
- 22 Initial reception of model checking
- 23 Temporal logic
- 24 Verification
- 25 Branching Time vs Linear Time
- 26 Spinelli 77
