000799836 000__ 03797cam\a2200517Ii\4500
000799836 001__ 799836
000799836 005__ 20230306143647.0
000799836 006__ m\\\\\o\\d\\\\\\\\
000799836 007__ cr\un\nnnunnun
000799836 008__ 170914s2017\\\\sz\a\\\\o\\\\\101\0\eng\d
000799836 020__ $$a9783319675312$$q(electronic book)
000799836 020__ $$a3319675311$$q(electronic book)
000799836 020__ $$z9783319675305
000799836 0247_ $$a10.1007/978-3-319-67531-2$$2doi
000799836 035__ $$aSP(OCoLC)on1003646050
000799836 035__ $$aSP(OCoLC)1003646050
000799836 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dOCLCF$$dNJR
000799836 049__ $$aISEA
000799836 050_4 $$aQA76.76.V47
000799836 08204 $$a005.1/4$$223
000799836 1112_ $$aRV (Conference)$$n(17th :$$d2017 :$$cSeattle, Wash.)
000799836 24510 $$aRuntime verification :$$b17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /$$cShuvendu Lahiri, Giles Reger (eds.).
000799836 2463_ $$aRV 2017
000799836 264_1 $$aCham, Switzerland :$$bSpringer,$$c2017.
000799836 300__ $$a1 online resource (xix, 432 pages) :$$billustrations.
000799836 336__ $$atext$$btxt$$2rdacontent
000799836 337__ $$acomputer$$bc$$2rdamedia
000799836 338__ $$aonline resource$$bcr$$2rdacarrier
000799836 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10548
000799836 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000799836 500__ $$aIncludes author index.
000799836 5050_ $$aStream Runtime Monitoring on UAS -- Probabilistic Black-Box Reachability Checking -- Combining Symbolic Runtime Enforcers for Cyber-Physical Systems -- Almost Event-Rate Independent Monitoring of Metric Dynamic Logic -- Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles -- Signal Clustering using Temporal Logics -- Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs -- Witnessing Network Transformations -- Combining Model Checking and Runtime Verification for Safe Robotics -- Monitoring Hyperproperties -- TeLEx: Passive STL Learning Using Only Positive Examples -- From Model Checking to Runtime Verification and Back Verifying Policy Enforcers -- Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems -- Monitoring Partially Synchronous Distributed Systems using SMT Solvers -- Runtime Detection of Temporal Memory Errors -- Control Dependencies in Interpretive Systems -- Monitoring Time Intervals.
000799836 506__ $$aAccess limited to authorized users.
000799836 520__ $$aThis book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017. The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.
000799836 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 14, 2017).
000799836 650_0 $$aComputer software$$xVerification$$vCongresses.
000799836 650_0 $$aFormal methods (Computer science)$$vCongresses.
000799836 650_0 $$aComputer software$$xTesting$$vCongresses.
000799836 7001_ $$aLahiri, Shuvendu,$$eeditor.
000799836 7001_ $$aReger, Giles,$$eeditor.
000799836 830_0 $$aLecture notes in computer science ;$$v10548.
000799836 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000799836 852__ $$bebk
000799836 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-67531-2$$zOnline Access$$91397441.1
000799836 909CO $$ooai:library.usi.edu:799836$$pGLOBAL_SET
000799836 980__ $$aEBOOK
000799836 980__ $$aBIB
000799836 982__ $$aEbook
000799836 983__ $$aOnline
000799836 994__ $$a92$$bISE