LEADER 04493nam 22008175 450 001 9910484723503321 005 20251226200139.0 010 $a3-642-04694-0 024 7 $a10.1007/978-3-642-04694-0 035 $a(CKB)1000000000784754 035 $a(SSID)ssj0000319895 035 $a(PQKBManifestationID)11243384 035 $a(PQKBTitleCode)TC0000319895 035 $a(PQKBWorkID)10343193 035 $a(PQKB)11379661 035 $a(DE-He213)978-3-642-04694-0 035 $a(MiAaPQ)EBC3064603 035 $a(PPN)139958908 035 $a(BIP)27670227 035 $a(EXLCZ)991000000000784754 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRuntime Verification $e9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers /$fedited by Saddek Bensalem, Doron A. Peled 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (VII, 203 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v5779 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-04693-2 320 $aIncludes bibliographical references and index. 327 $aRule 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. 330 $aThe 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. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v5779 606 $aSoftware engineering 606 $aComputer science 606 $aComputers 606 $aCompilers (Computer programs) 606 $aElectronic digital computers$xEvaluation 606 $aSoftware Engineering 606 $aTheory of Computation 606 $aHardware Performance and Reliability 606 $aCompilers and Interpreters 606 $aSystem Performance and Evaluation 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aComputers. 615 0$aCompilers (Computer programs). 615 0$aElectronic digital computers$xEvaluation. 615 14$aSoftware Engineering. 615 24$aTheory of Computation. 615 24$aHardware Performance and Reliability. 615 24$aCompilers and Interpreters. 615 24$aSystem Performance and Evaluation. 676 $a005.1/17 686 $aDAT 263f$2stub 686 $aDAT 325f$2stub 686 $aSS 4800$2rvk 701 $aBensalem$b Saddeck$01752966 701 $aPeled$b Doron A$067500 712 12$aRV 2009 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484723503321 996 $aRuntime Verification$94188478 997 $aUNINA