001444655 000__ 04040cam\a2200649\a\4500
001444655 001__ 1444655
001444655 003__ OCoLC
001444655 005__ 20230310003721.0
001444655 006__ m\\\\\o\\d\\\\\\\\
001444655 007__ cr\un\nnnunnun
001444655 008__ 220226s2022\\\\sz\\\\\\o\\\\\101\0\eng\d
001444655 019__ $$a1298935188$$a1299144797$$a1299276684$$a1299299708$$a1302011634
001444655 020__ $$a9783030955618$$q(electronic bk.)
001444655 020__ $$a3030955613$$q(electronic bk.)
001444655 020__ $$z9783030955601$$q(print)
001444655 020__ $$z3030955605
001444655 0247_ $$a10.1007/978-3-030-95561-8$$2doi
001444655 035__ $$aSP(OCoLC)1299383767
001444655 040__ $$aEBLCP$$beng$$epn$$cEBLCP$$dGW5XE$$dYDX$$dOCLCO$$dOCLCF$$dOCLCQ$$dUKAHL$$dOCLCQ
001444655 049__ $$aISEA
001444655 050_4 $$aQA76.76.V47$$bV59 2021eb
001444655 08204 $$a005.1/4$$223
001444655 1112_ $$aVSTTE (Conference)$$n(13th :$$d2021 :$$cOnline)
001444655 24510 $$aSoftware verification :$$b13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised selected papers /$$cRoderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina (eds.).
001444655 2463_ $$aVSTTE 2021
001444655 2463_ $$aNSV 2021
001444655 260__ $$aCham :$$bSpringer,$$c2022.
001444655 300__ $$a1 online resource (207 pages)
001444655 336__ $$atext$$btxt$$2rdacontent
001444655 337__ $$acomputer$$bc$$2rdamedia
001444655 338__ $$aonline resource$$bcr$$2rdacarrier
001444655 4901_ $$aLecture notes in computer science ;$$v13124
001444655 4901_ $$aLNCS sublibrary, SL 2, Programming and software engineering
001444655 500__ $$aBoth conferences were held virtually.
001444655 500__ $$aIncludes author index.
001444655 5050_ $$aVSTTE 2021 -- Quantitative Monitoring of Software -- Making Proofs of Floating-Point Programs Accessible to Regular Developers -- A Calculus for Multi-language Operational Semantics -- Partial Order Reduction for Timed Actors -- Uncertainty-Aware Signal Temporal Logic Inference -- Designing and Proving Properties of the Abaco Autoscaler Using TLA+ -- Case Study: Analysis of Autonomous Center line Tracking Neural Networks -- Abstract Interpretation of LLVM with a Region-Based Memory Model -- NSV 2021 -- Formal Verification of Neural Network Controllers for Collision-Free Flight -- An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods.-Modeling Round-off Errors in Hydrodynamic Simulations.
001444655 506__ $$aAccess limited to authorized users.
001444655 520__ $$aThis book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually. There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.
001444655 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed March 7, 2022).
001444655 650_0 $$aComputer programs$$xVerification$$vCongresses.
001444655 650_6 $$aLogiciels$$xVérification$$vCongrès.
001444655 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001444655 655_0 $$aElectronic books.
001444655 7001_ $$aBloem, Roderick P.
001444655 7001_ $$aDimitrova, Rayna.
001444655 7001_ $$aFan, Chuchu.
001444655 7001_ $$aSharygina, Natasha.
001444655 7112_ $$aNSV (Workshop)$$n(14th :$$d2021 :$$cOnline)
001444655 77608 $$iPrint version:$$aBloem, Roderick.$$tSoftware Verification.$$dCham : Springer International Publishing AG, ©2022$$z9783030955601
001444655 830_0 $$aLecture notes in computer science ;$$v13124.
001444655 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
001444655 852__ $$bebk
001444655 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-95561-8$$zOnline Access$$91397441.1
001444655 909CO $$ooai:library.usi.edu:1444655$$pGLOBAL_SET
001444655 980__ $$aBIB
001444655 980__ $$aEBOOK
001444655 982__ $$aEbook
001444655 983__ $$aOnline
001444655 994__ $$a92$$bISE