@inbook{734709e3276f40caa3fd4fabc2ef8ab7,
title = "Error-free critical software through formal model checking",
abstract = "Ensuring the correct functioning of automation systems in safety-critical industries is essential for the safety of people and the environment. Model checking is a formal method for exhaustive system analysis covering all possible system behaviours. It complements and has several advantages over traditional methods such as testing and simulation, which are based on exercising a limited set of test cases, thus leaving a large share of possible error scenarios outside the scope of examination.",
author = "Janne Valkonen and Antti Pakonen and Jussi Lahtinen",
year = "2013",
language = "English",
isbn = "978-951-38-8129-0 ",
series = "VTT Research Highlights",
publisher = "VTT Technical Research Centre of Finland",
number = "10",
pages = "72--73",
booktitle = "Research highlights in safety and security",
address = "Finland",
}