A4 Article in conference proceedings
Progress Checking for Dummies (2018)

Valmari, A., & Hansen, H. (2018). Progress Checking for Dummies. In F. Howar, & J. Barnat (Eds.), FMICS 2018 : Formal Methods for Industrial Critical Systems (pp. 115-130). Springer. Lecture Notes in Computer Science, 11119. https://doi.org/10.1007/978-3-030-00244-2_8

JYU authors or editors

Publication details

All authors or editorsValmari, Antti; Hansen, Henri

Parent publicationFMICS 2018 : Formal Methods for Industrial Critical Systems

Parent publication editorsHowar, Falk; Barnat, Jiří


Journal or seriesLecture Notes in Computer Science



Publication year2018

Number in series11119

Pages range115-130


Place of PublicationCham

Publication countrySwitzerland

Publication languageEnglish


Publication open accessNot open

Publication channel open access

Publication is parallel published (JYX)https://jyx.jyu.fi/handle/123456789/60128

Additional information23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018.


Free keywordsusability of verification methods; fairness; fair testing

Contributing organizations

Other organizations:

Ministry reportingYes

Reporting Year2018

JUFO rating1

Last updated on 2023-27-02 at 11:48