Verification of Fault-Tolerant System Architectures Using Model Checking

Jussi Lahtinen

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

3 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings
Subtitle of host publicationSAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR
PublisherSpringer
Pages195-206
ISBN (Electronic)978-3-319-10557-4
ISBN (Print)978-3-319-10556-7
DOIs
Publication statusPublished - 2014
MoE publication typeA4 Article in a conference publication

Publication series

SeriesLecture Notes in Computer Science
Volume8696

Keywords

  • Model checking, nuclear power plants, architecture, hardware failure, fault-tolerance

Cite this

Lahtinen, J. (2014). Verification of Fault-Tolerant System Architectures Using Model Checking. In Proceedings: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR (pp. 195-206). Springer. Lecture Notes in Computer Science, Vol.. 8696 https://doi.org/10.1007/978-3-319-10557-4_23