Tampere University of Technology

TUTCRIS Research Portal

Verification of safety-critical systems: a case study report on using modern model checking tools

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

Details

Original languageEnglish
Title of host publicationProceedings of the 6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, Germany, 26 August 2011
EditorsJörg Braner, Marco Roveri, Hendrik Tews
Place of PublicationDresden, Germany
PublisherTU Dresden
Pages66-80
Publication statusPublished - 2012
Publication typeA4 Article in a conference publication

Publication series

NameInternational Workshop on Systems Software Verification

Publication forum classification

Field of science, Statistics Finland