Efficient Model Checking of PSL Safety Properties

Research output: Contribution to journalArticleScientificpeer-review

Standard

Efficient Model Checking of PSL Safety Properties. / Launiainen, Tuomas; Heljanko, Keijo; Junttila, Tommi.

In: IET COMPUTERS AND DIGITAL TECHNIQUES, Vol. 5, No. 6, 2011, p. 479-492.

Research output: Contribution to journalArticleScientificpeer-review

Harvard

APA

Vancouver

Author

Launiainen, Tuomas ; Heljanko, Keijo ; Junttila, Tommi. / Efficient Model Checking of PSL Safety Properties. In: IET COMPUTERS AND DIGITAL TECHNIQUES. 2011 ; Vol. 5, No. 6. pp. 479-492.

Bibtex - Download

@article{b65d36aa937a486796d648c8c7a80aee,
title = "Efficient Model Checking of PSL Safety Properties",
keywords = "bug hunting tool, industrial property specification language, model checking, NuSMV 2, open source model, PSL, safety properties, bug hunting tool, industrial property specification language, model checking, NuSMV 2, open source model, PSL, safety properties, bug hunting tool, industrial property specification language, model checking, NuSMV 2, open source model, PSL, safety properties",
author = "Tuomas Launiainen and Keijo Heljanko and Tommi Junttila",
note = "VK: stmcdes dc hiit",
year = "2011",
doi = "10.1049/iet-cdt.2010.0154",
language = "English",
volume = "5",
pages = "479--492",
journal = "IET COMPUTERS AND DIGITAL TECHNIQUES",
issn = "1751-8601",
publisher = "Institution of Engineering and Technology",
number = "6",

}

RIS - Download

TY - JOUR

T1 - Efficient Model Checking of PSL Safety Properties

AU - Launiainen, Tuomas

AU - Heljanko, Keijo

AU - Junttila, Tommi

N1 - VK: stmcdes dc hiit

PY - 2011

Y1 - 2011

KW - bug hunting tool

KW - industrial property specification language

KW - model checking

KW - NuSMV 2

KW - open source model

KW - PSL

KW - safety properties

KW - bug hunting tool

KW - industrial property specification language

KW - model checking

KW - NuSMV 2

KW - open source model

KW - PSL

KW - safety properties

KW - bug hunting tool

KW - industrial property specification language

KW - model checking

KW - NuSMV 2

KW - open source model

KW - PSL

KW - safety properties

UR - http://dx.doi.org/10.1049/iet-cdt.2010.0154

U2 - 10.1049/iet-cdt.2010.0154

DO - 10.1049/iet-cdt.2010.0154

M3 - Article

VL - 5

SP - 479

EP - 492

JO - IET COMPUTERS AND DIGITAL TECHNIQUES

JF - IET COMPUTERS AND DIGITAL TECHNIQUES

SN - 1751-8601

IS - 6

ER -

ID: 795191