001454399 000__ 03203cam\a2200553\i\4500
001454399 001__ 1454399
001454399 003__ OCoLC
001454399 005__ 20230314003517.0
001454399 006__ m\\\\\o\\d\\\\\\\\
001454399 007__ cr\cn\nnnunnun
001454399 008__ 230206s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001454399 019__ $$a1368311947$$a1368324083$$a1368342906$$a1368384620
001454399 020__ $$a9783031258039$$q(electronic bk.)
001454399 020__ $$a3031258037$$q(electronic bk.)
001454399 020__ $$z9783031258022
001454399 0247_ $$a10.1007/978-3-031-25803-9$$2doi
001454399 035__ $$aSP(OCoLC)1368402167
001454399 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP
001454399 049__ $$aISEA
001454399 050_4 $$aQA76.76.V47
001454399 08204 $$a005.1/4$$223/eng/20230206
001454399 1112_ $$aVSTTE (Conference)$$n(14th :$$d2022 :$$cTrento, Italy).
001454399 24510 $$aVerified software : theories, tools and experiments. :$$b14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, revised selected papers /$$cAkash Lal, Stefano Tonetta (eds.).
001454399 24630 $$aVSTTE 2022
001454399 264_1 $$aCham :$$bSpringer,$$c[2023]
001454399 264_4 $$c©2023
001454399 300__ $$a1 online resource (viii, 167 pages) :$$billustrations (some color).
001454399 336__ $$atext$$btxt$$2rdacontent
001454399 337__ $$acomputer$$bc$$2rdamedia
001454399 338__ $$aonline resource$$bcr$$2rdacarrier
001454399 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13800
001454399 500__ $$aInternational conference proceedings.
001454399 500__ $$aIncludes author index.
001454399 5050_ $$aCompositional Safety LTL Synthesis -- Leroy and Blazy were right: their memory model soundness proof is automatable -- Shellac: a compiler synthesizer for concurrent programs -- A sequentialization procedure for fault-tolerant protocols -- Towards Practical Partial Order Reduction for High-Level Formalisms -- SMT-based Verification of Persistency Invariants of Px86 Programs -- A Formal Semantics for P-Code -- Separating Separation Logic - Modular Verification of Red-Black Trees -- Residual Runtime Verification via Reachability Analysis.
001454399 506__ $$aAccess limited to authorized users.
001454399 520__ $$aThis book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17-18, 2022. The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
001454399 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed February 6, 2023).
001454399 650_0 $$aComputer software$$xVerification$$vCongresses.
001454399 655_0 $$aElectronic books.
001454399 655_7 $$aConference papers and proceedings.$$2lcgft
001454399 7001_ $$aLal, Akash,$$eeditor.
001454399 7001_ $$aTonetta, Stefano,$$eeditor.
001454399 830_0 $$aLecture notes in computer science ;$$v13800.$$x1611-3349
001454399 852__ $$bebk
001454399 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-25803-9$$zOnline Access$$91397441.1
001454399 909CO $$ooai:library.usi.edu:1454399$$pGLOBAL_SET
001454399 980__ $$aBIB
001454399 980__ $$aEBOOK
001454399 982__ $$aEbook
001454399 983__ $$aOnline
001454399 994__ $$a92$$bISE