03775nam 2200625Ia 450 991048472350332120251116143254.03-642-04694-010.1007/978-3-642-04694-0(CKB)1000000000784754(SSID)ssj0000319895(PQKBManifestationID)11243384(PQKBTitleCode)TC0000319895(PQKBWorkID)10343193(PQKB)11379661(DE-He213)978-3-642-04694-0(MiAaPQ)EBC3064603(PPN)139958908(BIP)27670227(EXLCZ)99100000000078475420090930d2009 uy 0engurnn#008mamaatxtccrRuntime Verification9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009 ; Selected papers /Saddek Bensalem, Doron A. Peled (eds.)1st ed. 2009.Berlin ;New York, NY Springer-Verlagc20091 online resource (VII, 203 p.)Lecture notes in computer science ;5779Bibliographic Level Mode of Issuance: Monograph3-642-04693-2 Includes bibliographical references and index.Rule Systems for Runtime Verification: A Short Tutorial -- Verification, Testing and Statistics -- Type-Separated Bytecode – Its Construction and Evaluation -- Runtime Verification of Safety-Progress Properties -- Monitor Circuits for LTL with Bounded and Unbounded Future -- State Joining and Splitting for the Symbolic Execution of Binaries -- The LIME Interface Specification Language and Runtime Monitoring Tool -- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing -- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming -- Runtime Verification of C Memory Safety -- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis -- Hardware Supported Flexible Monitoring: Early Results -- DMaC: Distributed Monitoring and Checking.The RV series of workshops brings together researchers from academia and - dustry that are interested in runtime veri'cation. The goal of the RV workshops is to study the ability to apply lightweight formal veri'cation during the exe- tion of programs. This approach complements the o'ine use of formal methods, which often use large resources. Runtime veri'cation methods and tools include the instrumentation of code with pieces of software that can help to test and monitor it online and detect, and sometimes prevent, potential faults. RV 2009 was held during June 26-28 in Grenoble, adjacent to CAV 2009. The program included 11 accepted papers. Two invited talks were given by AmirPnueli,on"CompositionalApproachtoMonitoringLinearTemporalLogic Properties" and Sriram Rajamani on "Veri'cation, Testing and Statistics." The program also included three tutorials. We would like to thank the members of the Program Committee and ad- tional referees for the reviewing and participation in the discussions.Lecture notes in computer science ;5289.Computer softwareVerificationCongressesSoftware engineeringCongressesComputer softwareVerificationSoftware engineering005.1/17DAT 263fstubDAT 325fstubSS 4800rvkBensalem Saddeck1752966Peled Doron A67500RV 2009MiAaPQMiAaPQMiAaPQBOOK9910484723503321Runtime Verification4188478UNINA