Pensum vil best? av en samling artikler, som blir delt ut p? forelesning eller linket fra forelesningsplanen etterhvert.
G. Andrews: Foundations of Multithreaded, Parallel, and Distributed Programming, 2000. Addison Wesley. ISBN:?0-201-35752-6. Chap. 2.
Z. Manna og A. Pnueli: Temporal Verification of Reactive Systems: Safety, Springer-Verlag, 1995. Chap. 0, 74 s.
Z. Manna og A. Pnueli: Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs. Science of Computer Programming 4: 257-289. 1984.
T. Kropf: Formal Hardware Verification, Springer-Verlag, 1999. Chap 4.
D. A. Peled: Software Reliability Mehtods, 2001. Springer. ISBN:?0-387-95106-7. Chap. 6.
G. Holzmann: The Spin Model Checker. Addison-Wesley, 2004. ISBN 0-321-22862-6. Electronic version?
G. Holzmann: The Model Checker SPIN. IEEE Transactions on Software Engineering 23(5):279-295. 1997.
Robert Gerth: Concise Promela Reference, 1997. Fulltext.
The Spin Model Checker homepage, http://spinroot.com/spin/whatispin.html.
I tillegg vil obliger og forelesningsmateriale v?re pensum.
V?r oppmerksom p? at denne pensumoversikten kan bli justert etterhvert.