Tuomas Launiainen
| Room B236, Computer Science Building |
Aalto University School of Science
Department of Information and Computer Science
PO Box 15400, FI-00076 Aalto, Finland
|
Tuomas.Launiainen aalto.fi |
Software
PSL Observer — An observer implementation to NuSMV for model checking PSL safety properties.
Publications
- Launiainen, T., Heljanko, K., and Junttila, T.: Efficient Model Checking of PSL Safety Properties. IET Computers & Digital Techniques 5(6):479-492, 2011. (doi: 10.1049/iet-cdt.2010.0154).
- Kähkönen, K., Launiainen, T., Saarikivi, O., Kauttio, J., Heljanko, K., and Niemelä, I.: LCT: An Open Source Concolic Testing Tool for Java Programs. In Proceedings of the 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011), pages 75-80, Saarbrucken, Germany, Mar 2011.
- Launiainen, T., Heljanko, K., Junttila, T.: Efficient Model Checking of PSL Safety Properties, In Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010).
- My Master's thesis: Model checking PSL safety properties
[
TCS main] [
Contact Info] [
Personnel] [
Research] [
Publications] [
Software] [
Studies] [
News Archive] [
Links]
Latest update: 28 June 2010.