001434232 000__ 06164cam\a2200829\i\4500
001434232 001__ 1434232
001434232 003__ OCoLC
001434232 005__ 20230309003717.0
001434232 006__ m\\\\\o\\d\\\\\\\\
001434232 007__ cr\nn\nnnunnun
001434232 008__ 210111s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001434232 019__ $$a1230567413$$a1231603743$$a1236327102
001434232 020__ $$a9783030670672$$q(electronic book)
001434232 020__ $$a3030670678$$q(electronic book)
001434232 020__ $$z9783030670665
001434232 020__ $$z303067066X
001434232 0247_ $$a10.1007/978-3-030-67067-2$$2doi
001434232 035__ $$aSP(OCoLC)1238205307
001434232 040__ $$aDCT$$beng$$erda$$epn$$cDCT$$dOCLCO$$dSFB$$dGW5XE$$dYDXIT$$dEBLCP$$dYDX$$dOCLCF$$dOCLCO$$dOCLCQ$$dOCLCO$$dCOM$$dOCLCO$$dOCLCQ
001434232 049__ $$aISEA
001434232 050_4 $$aQA76.76.V47$$bV53 2021
001434232 08204 $$a005.1015113$$223
001434232 08204 $$a004.0151$$223
001434232 1112_ $$aVMCAI (Conference)$$n(22nd :$$d2021 :$$cOnline)
001434232 24510 $$aVerification, model checking, and abstract interpretation :$$b22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, proceedings /$$cFritz Henglein, Sharon Shoham, Yakir Vizel (eds.).
001434232 2463_ $$aVMCAI 2021
001434232 264_1 $$aCham, Switzerland :$$bSpringer International Publishing :$$bImprint :$$bSpringer,$$c2021.
001434232 300__ $$a1 online resource (xv, 604 pages) :$$billustrations (some color)
001434232 336__ $$atext$$btxt$$2rdacontent
001434232 337__ $$acomputer$$bc$$2rdamedia
001434232 338__ $$aonline resource$$bcr$$2rdacarrier
001434232 347__ $$atext file
001434232 347__ $$bPDF
001434232 4901_ $$aLecture notes in computer science ;$$v12597
001434232 4901_ $$aAdvanced research in computing and software science
001434232 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
001434232 500__ $$aIncludes author index.
001434232 5050_ $$aInvited Papers -- Model Checking Algorithms for Hyperproperties -- Algebra-based Synthesis of Loops and their Invariants -- Generative Program Analysis and Beyond: The Power of Domain-Specific Languages -- Hyperproperties and Infinite-state Systems -- Compositional Model Checking for Multi-Properties -- Decomposing Data Structure Commutativity Proofs with mn-Differencing -- Proving the existence of fair paths in infinite-state systems -- A Self-Certifying Compilation Framework for WebAssembly -- Concurrent and Distributed Systems -- Concurrent Correctness in Vector Space -- Verification of Concurrent Programs Using Petri Net Unfoldings -- Eliminating Message Counters in Synchronous Threshold Automata -- A Reduction Theorem for Randomized Distributed Algorithms under Weak Adversaries -- Checking -- Runtime Abstract Interpretation for Numerical Accuracy and Robustness -- Twinning automata and regular expressions for string static analysis -- Unbounded Procedure Summaries from Bounded Environments -- Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking -- Synthesis and Repair -- Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible -- Automated Repair of Heap-Manipulating Programs using Deductive Synthesis -- GPURepair: Automated Repair of GPU Kernels -- Applications -- A Synchronous Effects Logic for Temporal Verification of Pure Esterel -- A Design of GPU-Based Quantitative Model Checking -- Formal Semantics and Verification of Network Based Biocomputation Circuits -- Netter: Probabilistic, Stateful Network Models, . Decision Procedures -- Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories -- Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching -- On Preprocessing for Weighted MaxSAT -- Compositional Satisfiability Solving in Separation Logic.
001434232 506__ $$aAccess limited to authorized users.
001434232 520__ $$aThis book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed to an online event due to the COVID-19 pandemic. The 23 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. The papers presented in this volume were organized in the following topical sections: hyperproperties and infinite-state systems; concurrent and distributed systems; checking; synthesis and repair; applications; and decision procedures.
001434232 588__ $$aOnline resource; title from digital title page (viewed on March 04, 2021).
001434232 650_0 $$aComputer software$$xVerification$$vCongresses.
001434232 650_0 $$aSoftware engineering$$vCongresses.
001434232 650_0 $$aComputers.
001434232 650_0 $$aNatural language processing (Computer science)
001434232 650_0 $$aSoftware engineering.
001434232 650_0 $$aMicroprogramming.
001434232 650_0 $$aComputers, Special purpose.
001434232 650_6 $$aLogiciels$$xVérification$$vCongrès.
001434232 650_6 $$aGénie logiciel$$vCongrès.
001434232 650_6 $$aOrdinateurs.
001434232 650_6 $$aTraitement automatique des langues naturelles.
001434232 650_6 $$aGénie logiciel.
001434232 650_6 $$aMicroprogrammation.
001434232 650_6 $$aOrdinateurs spécialisés.
001434232 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001434232 655_7 $$aConference papers and proceedings.$$2lcgft
001434232 655_7 $$aActes de congrès.$$2rvmgf
001434232 655_0 $$aElectronic books.
001434232 7001_ $$aHenglein, Fritz,$$eeditor.
001434232 7001_ $$aShoham, Sharon,$$eeditor.
001434232 7001_ $$aVizel, Yakir,$$eeditor.
001434232 77608 $$iPrint version:$$z9783030670665
001434232 830_0 $$aLecture notes in computer science ;$$v12597.
001434232 830_0 $$aLecture notes in computer science.$$pAdvanced research in computing and software science.
001434232 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001434232 852__ $$bebk
001434232 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-67067-2$$zOnline Access$$91397441.1
001434232 909CO $$ooai:library.usi.edu:1434232$$pGLOBAL_SET
001434232 980__ $$aBIB
001434232 980__ $$aEBOOK
001434232 982__ $$aEbook
001434232 983__ $$aOnline
001434232 994__ $$a92$$bISE