02722nam 2200601Ia 450 991048472350332120200520144314.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(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.Lecture notes in computer science ;5289.Computer softwareVerificationCongressesSoftware engineeringCongressesComputer softwareVerificationSoftware engineering005.1/17DAT 263fstubDAT 325fstubSS 4800rvkBensalem Saddeck1752966Peled Doron A67500RV 2009MiAaPQMiAaPQMiAaPQBOOK9910484723503321Runtime Verification4188478UNINA