Some Thoughts on Runtime Verification

Conference paper

DOI: 10.1007/978-3-319-46982-9_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10012)
Cite this paper as:
Maler O. (2016) Some Thoughts on Runtime Verification. In: Falcone Y., Sánchez C. (eds) Runtime Verification. RV 2016. Lecture Notes in Computer Science, vol 10012. Springer, Cham


Some reflections on verification and runtime verification in general and of cyber-physical systems in particular.

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  1. 1.VERIMAGCNRS and the University of Grenoble Alpes (UGA)St Martin d’heresFrance

Personalised recommendations