001431338 000__ 06413cam\a2200613Ii\4500
001431338 001__ 1431338
001431338 003__ OCoLC
001431338 005__ 20230308003231.0
001431338 006__ m\\\\\o\\d\\\\\\\\
001431338 007__ cr\un\nnnunnun
001431338 008__ 220405s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001431338 020__ $$a9783030995270$$q(electronic bk.)
001431338 020__ $$a3030995275$$q(electronic bk.)
001431338 020__ $$z9783030995263$$q(print)
001431338 0247_ $$a10.1007/978-3-030-99527-0$$2doi
001431338 035__ $$aSP(OCoLC)1308973926
001431338 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dEBLCP$$dOCLCF$$dOCLCQ
001431338 049__ $$aISEA
001431338 050_4 $$aQA76.9.S88
001431338 08204 $$a004.2/1$$223
001431338 1112_ $$aTACAS (Conference)$$n(28th :$$d2022 :$$cMunich, Germany)
001431338 24510 $$aTools and algorithms for the construction and analysis of systems :$$b28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings.$$nPart II /$$cDana Fisman, Grigore Rosu (eds.).
001431338 2463_ $$aTACAS 2022
001431338 264_1 $$aCham, Switzerland :$$bSpringer,$$c2022.
001431338 300__ $$a1 online resource (xxi, 493 pages) :$$billustrations.
001431338 336__ $$atext$$btxt$$2rdacontent
001431338 337__ $$acomputer$$bc$$2rdamedia
001431338 338__ $$aonline resource$$bcr$$2rdacarrier
001431338 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13244
001431338 4901_ $$aAdvanced research in computing and software science
001431338 500__ $$aIncludes author index.
001431338 5050_ $$aProbabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage with Constrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).
001431338 5060_ $$aOpen access.$$5GW5XE
001431338 520__ $$aThis open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems. .
001431338 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 5, 2022).
001431338 650_0 $$aSystem design$$vCongresses.
001431338 650_0 $$aComputer software$$xVerification$$vCongresses.
001431338 650_0 $$aSystem analysis$$vCongresses.
001431338 650_6 $$aConception de systèmes$$vCongrès.
001431338 650_6 $$aLogiciels$$xVérification$$vCongrès.
001431338 650_6 $$aAnalyse de systèmes$$vCongrès.
001431338 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001431338 655_0 $$aElectronic books.
001431338 7001_ $$aFisman, Dana,$$eeditor.$$1https://orcid.org/0000-0002-6015-4170
001431338 7001_ $$aRoşu, Grigore,$$eeditor.$$1https://orcid.org/0000-0002-3102-0421
001431338 7112_ $$aETAPS (Conference)$$n(25th :$$d2022 :$$cMunich, Germany)
001431338 830_0 $$aLecture notes in computer science ;$$v13244.$$x1611-3349
001431338 830_0 $$aLecture notes in computer science.$$pAdvanced research in computing and software science.
001431338 852__ $$bebk
001431338 85640 $$3Springer Nature$$uhttps://link.springer.com/10.1007/978-3-030-99527-0$$zOnline Access$$91397441.2
001431338 909CO $$ooai:library.usi.edu:1431338$$pGLOBAL_SET
001431338 980__ $$aBIB
001431338 980__ $$aEBOOK
001431338 982__ $$aEbook
001431338 983__ $$aOnline
001431338 994__ $$a92$$bISE