LEADER 06073nam 22008055 450 001 9910555235803321 005 20251113201612.0 010 $a3-030-99524-0 024 7 $a10.1007/978-3-030-99524-9 035 $a(CKB)5860000000038043 035 $aEBL6942717 035 $a(AU-PeEL)EBL6942717 035 $a(MiAaPQ)EBC6942717 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/81626 035 $a(PPN)261518305 035 $a(Au-PeEL)EBL6942717 035 $a(OCoLC)1308973745 035 $a(DE-He213)978-3-030-99524-9 035 $a(EXLCZ)995860000000038043 100 $a20220329d2022 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTools and Algorithms for the Construction and Analysis of Systems $e28th 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 I /$fedited by Dana Fisman, Grigore Rosu 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (xxii, 583 pages) $cillustrations 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13243 300 $aDescription based upon print version of record. 300 $aIncludes author index. 311 1 $a3-030-99523-2 327 $aSynthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems. 330 $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. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13243 606 $aComputer science 606 $aMicroprogramming 606 $aComputer engineering 606 $aComputer networks 606 $aComputer simulation 606 $aSoftware engineering 606 $aTheory of Computation 606 $aControl Structures and Microprogramming 606 $aComputer Engineering and Networks 606 $aComputer Modelling 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aMicroprogramming. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aComputer simulation. 615 0$aSoftware engineering. 615 14$aTheory of Computation. 615 24$aControl Structures and Microprogramming. 615 24$aComputer Engineering and Networks. 615 24$aComputer Modelling. 615 24$aSoftware Engineering. 676 $a004.0151 700 $aFisman$b Dana$4edt$01072889 701 $aFisman$b Dana$01072889 701 $aRos?u$b Grigore$00 712 12$aTACAS (Conference)$d(28th :$f2022 :$eMunich, Germany; online) 801 0$bAU-PeEL 801 1$bAU-PeEL 801 2$bAU-PeEL 906 $aBOOK 912 $a9910555235803321 996 $aTools and Algorithms for the Construction and Analysis of Systems$92871957 997 $aUNINA