Course full name
Static and Dynamic Software Analysis
Course ID number
1819-87R-SDSA
Slide: Introduction to Specifications in Linear Temporal Logic (slides provided by A. Artale)
Click SlideLTL.pdf link to view the file.