List of Lectures (Fall 1995)

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