Additional information
by Howard Barringer (Editor), Ylies Falcone (Editor), Bernd Finkbeiner (Editor)
Constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St Julians, Malta, in November 2010.