000 04415nam a22006615i 4500
001 978-3-030-17462-0
003 DE-He213
005 20240423125302.0
007 cr nn 008mamaa
008 190403s2019 sz | s |||| 0|eng d
020 _a9783030174620
_9978-3-030-17462-0
024 7 _a10.1007/978-3-030-17462-0
_2doi
050 4 _aQA75.5-76.95
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] :
_b25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I /
_cedited by Tomáš Vojnar, Lijun Zhang.
250 _a1st ed. 2019.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2019.
300 _aXXIII, 433 p. 1251 illus., 61 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v11427
505 0 _aSAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach – A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !-Regular Language Learning Library -- Symbolic Regex Matcher -- COMPASS 3.0 -- Debugging of Behavioural Models with CLEAR -- Machine Learning -- Omega-Regular Objectives in Model-Free Reinforcement Learning -- Verifiably Safe Off-Model Reinforcement Learning. .
506 0 _aOpen Access
520 _aThis book is Open Access under a CC BY licence. .
650 0 _aComputer science.
650 0 _aMachine theory.
650 0 _aSoftware engineering.
650 0 _aArtificial intelligence.
650 0 _aElectronic digital computers
_xEvaluation.
650 0 _aComputers.
650 0 _aProfessions.
650 1 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aSoftware Engineering.
650 2 4 _aArtificial Intelligence.
650 2 4 _aSystem Performance and Evaluation.
650 2 4 _aThe Computing Profession.
700 1 _aVojnar, Tomáš.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aZhang, Lijun.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030174613
776 0 8 _iPrinted edition:
_z9783030174637
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v11427
856 4 0 _uhttps://doi.org/10.1007/978-3-030-17462-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-SOB
942 _cSPRINGER
999 _c176281
_d176281