Runtime Verification

7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

  • Editors
  • Oleg Sokolsky
  • Serdar Taşıran
Conference proceedings RV 2007

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4839)

Table of contents

  1. Front Matter
  2. Invited Paper

  3. AOP-Related Papers

    1. Pavel Avgustinov, Julian Tibble, Oege de Moor
      Pages 9-21
    2. Eric Bodden, Laurie Hendren, Patrick Lam, Ondřej Lhoták, Nomair A. Naeem
      Pages 22-37
    3. Pascal Durr, Lodewijk Bergmans, Mehmet Aksit
      Pages 38-50
    4. Charlotte Herzeel, Kris Gybels, Pascal Costanza
      Pages 51-62
    5. Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini
      Pages 63-74
    6. Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Gates
      Pages 75-86
    7. Hiromasa Shin, Yusuke Endoh, Yoshio Kataoka
      Pages 87-96
  4. Core Runtime Verification Papers

    1. Howard Barringer, Dov Gabbay, David Rydeheard
      Pages 97-110
    2. Howard Barringer, David Rydeheard, Klaus Havelund
      Pages 111-125
    3. Andreas Bauer, Martin Leucker, Christian Schallhart
      Pages 126-138
    4. Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter
      Pages 139-150
    5. William Mahoney, William Sousan
      Pages 151-163
    6. Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr
      Pages 164-175
    7. Serdar Tasiran, Tayfun Elmas
      Pages 188-201
    8. Karen Zee, Viktor Kuncak, Michael Taylor, Martin Rinard
      Pages 202-213
  5. Back Matter

About these proceedings


Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation deals with formal languages suitable for expressing system properties that are checkable at run time; algorithms for checking of formal properties over an execution trace; low-overhead means of extracting information from the running system that is su?cient for checking of the property. Applications of runtime veri?cation technology include po- deployment monitoring of system correctness and performance; construction of formally speci?ed test oracles; collection of statistics about system behavior, among others. The Workshop on Runtime Veri?cation was started in 2001 and has been held annually since then. The workshop was co-located with the Conference on Computer-Aided Veri?cation (CAV) in 2001–2003 and 2005–2006;and with the European Joint Conferences on Theory and Practice of Software (ETAPS) in 2004. In 2007, the workshop was held on March 13, 2007 in Vancouver, British Columbia, Canada, co-located to the Conference on Aspect-Oriented Software Development (AOSD) in order to explore the emerging connections between the two communities.


Aspect-oriented programming Open-Source Variable abstract state machines aspect oriented programming automated testing correct systems design domain specific language fault diagnosis finite state machines interactive testing object oriented design programming semantics verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-77394-8
  • Online ISBN 978-3-540-77395-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Oil, Gas & Geosciences