001449874 000__ 04508cam\a2200613\i\4500
001449874 001__ 1449874
001449874 003__ OCoLC
001449874 005__ 20230310004423.0
001449874 006__ m\\\\\o\\d\\\\\\\\
001449874 007__ cr\cn\nnnunnun
001449874 008__ 220928s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001449874 020__ $$a9783031171963$$q(electronic bk.)
001449874 020__ $$a3031171969$$q(electronic bk.)
001449874 020__ $$z9783031171956
001449874 0247_ $$a10.1007/978-3-031-17196-3$$2doi
001449874 035__ $$aSP(OCoLC)1346150526
001449874 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dGW5XE$$dEBLCP$$dOCLCF$$dOCLCQ
001449874 049__ $$aISEA
001449874 050_4 $$aQA76.76.V47
001449874 08204 $$a005.1/4$$223/eng/20220928
001449874 1112_ $$aRV (Conference)$$n(22nd :$$d2022 :$$cTʻbilisi, Georgia : Online)
001449874 24510 $$aRuntime verification :$$b22nd international conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, proceedings /$$cThao Dang, Volker Stolz (eds.).
001449874 24630 $$aRV 2022
001449874 264_1 $$aCham :$$bSpringer,$$c[2022]
001449874 264_4 $$c©2022
001449874 300__ $$a1 online resource (xii, 347 pages) :$$billustrations (some color).
001449874 336__ $$atext$$btxt$$2rdacontent
001449874 337__ $$acomputer$$bc$$2rdamedia
001449874 338__ $$aonline resource$$bcr$$2rdacarrier
001449874 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13498
001449874 4901_ $$aLecture notes in computer science. Formal methods
001449874 500__ $$aInternational conference proceedings.
001449874 500__ $$aIncludes author index.
001449874 500__ $$aConference held in hybrid format.
001449874 5050_ $$aRandomized First-Order Monitoring With Hashing -- Automated Surgical Procedure Assistance Framework using Deep Learning and Formal Runtime Monitoring -- Relaxing safety for metric first-order temporal logic via dynamic free variables -- Rule-based Runtime Mitigation against Poison Attacks on Neural Networks -- Optimizing Prestate Copies in Runtime Verification of Function Postconditions -- A Barrier Certificate-based Simplex Architecture with Application to Microgrids -- Optimal Finite-State Monitoring of Partial Traces -- Tainting in Smart Contracts: Combining Static and Runtime Verification -- Pace Transaction Monitoring of Smart Contracts -- Anticipatory Recurrent Monitoring with Uncertainty and Assumptions -- Abstract Monitors for Quantitative Specifications -- Organization Runtime Verification of Kotlin Coroutines -- A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification -- Pace Towards Specificationless Monitoring of ProvenanceEmitting Systems -- A Python Library for Trace Analysis -- Lock Contention Classification for Java Intrinsic Locks -- TestSelector: Automatic Test Suite Selection for Student Projects -- Falcone Runtime verification for FMI-based co-simulation -- - An Ecosystem For Runtime Verification -- Real-time Visualization of Stream-based Monitoring Data -- Automating numerical parameters along the evolution of a nonlinear system.
001449874 506__ $$aAccess limited to authorized users.
001449874 520__ $$aThis book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 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 crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification.
001449874 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 28, 2022).
001449874 650_0 $$aComputer software$$xVerification$$vCongresses.
001449874 650_0 $$aFormal methods (Computer science)$$vCongresses.
001449874 650_0 $$aComputer software$$xTesting$$vCongresses.
001449874 655_0 $$aElectronic books.
001449874 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001449874 655_7 $$aConference papers and proceedings.$$2lcgft
001449874 7001_ $$aDang, Thao,$$eeditor.
001449874 7001_ $$aStolz, V.$$q(Volker),$$eeditor.
001449874 830_0 $$aLecture notes in computer science ;$$v13498.$$x1611-3349
001449874 830_0 $$aLecture notes in computer science.$$pFormal methods.
001449874 852__ $$bebk
001449874 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-17196-3$$zOnline Access$$91397441.1
001449874 909CO $$ooai:library.usi.edu:1449874$$pGLOBAL_SET
001449874 980__ $$aBIB
001449874 980__ $$aEBOOK
001449874 982__ $$aEbook
001449874 983__ $$aOnline
001449874 994__ $$a92$$bISE