Axiomatic Semantics

Lecture notes (PDF) (Postscript)

Writeup (Postscript) (PDF) Comments!

References

Program Verification, N. Francez, Addison-Wesley, 1992.

Temporal Verification of Reactive Systems: Safety, Z. Manna and A. Pnueli, Springer, 1995.

First-Order Dynamic Logic, D. Harel, Springer, 1979.