Section: Temporal Logics, Verification and Falsification | 575SM - CYBER-PHYSICAL SYSTEMS 2019 | Moodle@Units

Home Courses Support

Section outline

Good book about temporal logic and model checking: Principle of Model Checking, Baier, Katoen, MIT Press, 2008
More references about interesting papers in the slides.
Streamed Lecture 8 (TL) here
Streamed Lecture 9 (STL) here
Streamed Lecture 10 (STL applications) here
Streamed Lecture 11 (Verification + CTL) here
Streamed Lecture 12 (PCTL + Example) here
- Select activity TemporalLogic
  
  TemporalLogic File PDF
- Select activity STL
  
  STL File PDF
- Select activity STL applications
  
  STL applications File PDF
- Select activity Verification + CTL + PCTL
  
  Verification + CTL + PCTL File PDF
- Select activity Some Examples
  
  Some Examples File PDF