For assignments dates please refer to the Assignments page on Canvas
|
Date |
Topic |
Due |
|
|
Introduction
|
|
|
|
Sets,
Relations, Functions, Logic, Temporal logic |
|
|
|
Model checking |
|
|
|
Program verification |
|
|
|
Program
verification continued |
|
|
|
Symbolic evaluation |
|
|
|
Midterm
overview |
|
|
|
Midterm |
|
|
|
Alloy
analyzer |
|
|
|
Flavers |
|
|
|
Finite state verification |
|
|
|
Project
presentations and demonstrations |
the
project presentations are due |
|
|
Project
presentations and demonstrations |
|
|
|
Final
overview |
|
E-mail: rp31@txstate.edu