000 06737nam a22006735i 4500
001 978-3-030-99527-0
003 DE-He213
005 20220929150211.0
007 cr nn 008mamaa
008 220329s2022 sz | s |||| 0|eng d
020 _a9783030995270
_9978-3-030-99527-0
024 7 _a10.1007/978-3-030-99527-0
_2doi
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aTools and algorithms for the construction and analysis of systems
_h[electronic resource] :
_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, Part II /
_cedited by Dana Fisman, Grigore Rosu.
250 _a1st ed. 2022.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2022.
300 _aXXI, 493 p. 140 illus.
_bonline resource.
336 _btxt
337 _bc
338 _bcr
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13244
505 0 _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).
506 0 _aOpen Access
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. .
650 0 _aComputer science.
_9106776
650 0 _aCoding theory.
_9111301
650 0 _aInformation theory.
_9111270
650 0 _aMicroprogramming .
650 0 _aComputer engineering.
_9111302
650 0 _aComputer networks .
_9108628
650 0 _aSoftware engineering.
_9107265
650 0 _aLogic programming.
_9111303
650 1 4 _aTheory of Computation.
650 2 4 _aCoding and Information Theory.
_9111304
650 2 4 _aControl Structures and Microprogramming.
650 2 4 _aComputer Engineering and Networks.
_9111305
650 2 4 _aSoftware Engineering.
_9107265
650 2 4 _aLogic in AI.
_9111306
700 1 _aFisman, Dana.
_0(orcid)0000-0002-6015-4170
_1https://orcid.org/0000-0002-6015-4170
_9111307
700 1 _aRosu, Grigore.
_0(orcid)0000-0002-3102-0421
_1https://orcid.org/0000-0002-3102-0421
_9111308
710 2 _aSpringerLink (Online service)
_9107205
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030995263
776 0 8 _iPrinted edition:
_z9783030995287
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13244
_9110898
856 4 0 _yLink to Springer open access ebook
_uhttps://doi.org/10.1007/978-3-030-99527-0
856 4 0 _ySend a message to library staff if access to this online resource is unavailable
_uhttps://tinyurl.com/52eeu77j
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-SOB
999 _c50913
_d50913