List of Lecture Slides (Fall 1995)

  • #1.Introduction

  • #2.Logic & Proof

  • #3.Sets, Relations & Functions

  • #4.Proof Techniques

  • #5.Sequences & Induction

  • #6. State Machine -Basics

  • #7. State Machines -Variations

  • #8. State Machines -Invariants

  • #9.Introduction to Z

  • #10.Reasoning about Z

  • #11.Oscilloscope Example

  • #12. Abstraction in State Machines

  • #13.Abstraction in Z

  • #14. Algebras -Larch

  • #15. Larch -Interfaces

  • #16. Concurrency -Introduction

  • #17. Concurrency -Composing State Machines

  • #18.CSP - Processes

  • #19. Concurrency in CSP

  • #20. Nondeterminism in CSP

  • #21. Communication in CSP

  • #22. Temporal Logics -LTL

  • #23. Temporal Logics -CTL

  • #24.Petri Nets -Introduction