04205nam 22008175 450 99646530020331620200704103214.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)99100000000078475420100301d2009 u| 0engurnn#008mamaatxtccrRuntime Verification[electronic resource] 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers /edited by Saddek Bensalem, Doron A. Peled1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (VII, 203 p.)Programming and Software Engineering ;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.Programming and Software Engineering ;5779Software engineeringComputersComputer software—ReusabilityProgramming languages (Electronic computers)Computer system failuresSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Performance and Reliabilityhttps://scigraph.springernature.com/ontologies/product-market-codes/I12077Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Grenobble (2009)swdGrenoble (2009)swdKongress.swdSoftware engineering.Computers.Computer software—Reusability.Programming languages (Electronic computers).Computer system failures.Software Engineering.Software Engineering/Programming and Operating Systems.Theory of Computation.Performance and Reliability.Programming Languages, Compilers, Interpreters.System Performance and Evaluation.005.1/17DAT 263fstubDAT 325fstubSS 4800rvkBensalem Saddekedthttp://id.loc.gov/vocabulary/relators/edtPeled Doron Aedthttp://id.loc.gov/vocabulary/relators/edtRV 2009BOOK996465300203316Runtime Verification772115UNISA