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

Abstract

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