Proceedings of the First international conference on Runtime verification

• Authors:

• Howard Barringer;Ylies Falcone;Bernd Finkbeiner;Klaus Havelund;Insup Lee

• Affiliations:

• University of Manchester, UK;IRISA, INRIA, Rennes, France;Saarland University, Saarücken, Germany;Jet Propulsion Laboratory, Pasadena, CA;University of Pennsylvania, Philadelphia, PA

• Venue:
• RV'10 Proceedings of the First international conference on Runtime verification
• Year:
• 2010