Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4839)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: RV 2007.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (17 papers)
-
Front Matter
-
Invited Paper
-
AOP-Related Papers
-
Core Runtime Verification Papers
-
Back Matter
Other volumes
-
Runtime Verification
Bibliographic Information
Book Title: Runtime Verification
Book Subtitle: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Editors: Oleg Sokolsky, Serdar Taşıran
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-77395-5
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2007
Softcover ISBN: 978-3-540-77394-8Published: 12 December 2007
eBook ISBN: 978-3-540-77395-5Published: 06 December 2007
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 218
Topics: Programming Languages, Compilers, Interpreters, Software Engineering, Logics and Meanings of Programs, Management of Computing and Information Systems