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 editors: Valmari, Antti; Hansen, Henri

Parent publication: FMICS 2018 : Formal Methods for Industrial Critical Systems

Parent publication editors: Howar, Falk; Barnat, Jiří

ISBN: 978-3-030-00243-5

Journal or series: Lecture Notes in Computer Science

ISSN: 0302-9743

eISSN: 1611-3349

Publication year: 2018

Number in series: 11119

Pages range: 115-130

Publisher: Springer

Place of Publication: Cham

Publication country: Switzerland

Publication language: English

DOI: https://doi.org/10.1007/978-3-030-00244-2_8

Publication open access: Not open

Publication channel open access:

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

Additional information: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018.


Keywords: programming; algorithmics; verification; testing; progress

Free keywords: usability of verification methods; fairness; fair testing


Contributing organizations


Ministry reporting: Yes

Reporting Year: 2018

JUFO rating: 1


Last updated on 2022-24-11 at 23:17