03949nam 22007815 450 99646541470331620200705102504.03-642-29860-510.1007/978-3-642-29860-8(CKB)3400000000085193(SSID)ssj0000666553(PQKBManifestationID)11400902(PQKBTitleCode)TC0000666553(PQKBWorkID)10664479(PQKB)10493691(DE-He213)978-3-642-29860-8(MiAaPQ)EBC3070579(PPN)168315483(EXLCZ)99340000000008519320120511d2012 u| 0engurnn|008mamaatxtccrRuntime Verification[electronic resource] Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers /edited by Koushik Sen, Sarfaz Khurshid1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XII, 458 p. 69 illus.) Programming and Software Engineering ;7186Bibliographic Level Mode of Issuance: Monograph3-642-29859-1 Includes bibliographical references and index.This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.Programming and Software Engineering ;7186Software engineeringAlgorithmsComputer logicComputer programmingProgramming languages (Electronic computers)Mathematical logicSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Conference proceedings.Software engineering.Algorithms.Computer logic.Computer programming.Programming languages (Electronic computers).Mathematical logic.Software Engineering.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.Programming Techniques.Programming Languages, Compilers, Interpreters.Mathematical Logic and Formal Languages.005.1Sen Koushikedthttp://id.loc.gov/vocabulary/relators/edtKhurshid Sarfazedthttp://id.loc.gov/vocabulary/relators/edtRV (Conference)BOOK996465414703316Runtime Verification772115UNISA