Tuomas Kuismin (né Launiainen)

Office: Room B117, Computer Science Building
Postal Address: Aalto University School of Science
Department of Computer Science and Engineering
PO Box 15400, FI-00076 Aalto, Finland
Email: Tuomas.Kuisminaalto.fi


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

live2safe — software for the paper “Increasing Confidence in Liveness Model Checking Results with Proofs”.


My publications in the DBLP database

Technical Reports and Other Non-Refereed Scientific Publications

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

Latest update: 12 May 2014.