Sample Theory Lecture. Focuses on Temporal Logics A specification language for describing properties of reactive systems Describes syntax and semantics with examples and intuition Exercises are given during lecture. Slides 16-17, 28-31. Clears common misconceptions among students.
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
Sample Theory Lecture • Focuses on Temporal Logics • A specification language for describing properties of reactive systems • Describes syntax and semantics with examples and intuition • Exercises are given during lecture. • Slides 16-17, 28-31. • Clears common misconceptions among students. • Slides 32-34.
Sample Lecture on Tools • Focuses on Theorem Proving Tool PVS • A proof assistant which allows semi-automatic verification. • Students are introduced to • Specifying their protocols/designs in the prover’s logic – Slides 5-9. • An Interactive session helps the students to • Learn the basic proof structure – Slides 11-13. • Study practical techniques for managing a huge proof inside the prover - Slides 24-27.