sample theory lecture n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Sample Theory Lecture PowerPoint Presentation
Download Presentation
Sample Theory Lecture

Loading in 2 Seconds...

play fullscreen
1 / 2

Sample Theory Lecture - PowerPoint PPT Presentation


  • 144 Views
  • Uploaded on

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.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

Sample Theory Lecture


An Image/Link below is provided (as is) to download presentation

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.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
    Presentation Transcript
    1. 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.

    2. 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.