Introduction to the special issue on runtime verification

DOI10.1007/s10703-018-0320-4zbMath1394.68005MaRDI QIDQ5915718

No author found.

Publication date: 30 August 2018

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-018-0320-4

zbMATH Keywords

reliability; trace; monitoring; runtime verification; instrumentation

Mathematics Subject Classification ID

00B15: Collections of articles of miscellaneous specific interest

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

68Q60: Specification and verification (program logics, model checking, etc.)