Tuomas Launiainen

Office:	Room B236, Computer Science Building
Postal Address:	Helsinki University of Technology Department of Information and Computer Science P. O. Box 5400 FI-02015 TKK FINLAND
Email:	Tuomas.Launiainentkk.fi

Software

PSL Observer — An observer implementation to NuSMV for model checking PSL safety properties.

Publications

My Master's thesis: Model checking PSL safety properties

---

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]

---

Latest update: 26 August 2009.