000 04724nam a22006735i 4500
001 978-3-319-89960-2
003 DE-He213
005 20210201191407.0
007 cr nn 008mamaa
008 180411s2018 gw | s |||| 0|eng d
020 _a9783319899602
_9978-3-319-89960-2
050 4 _aQA76.9.L63
050 4 _aQA76.5913
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
072 7 _aUM
_2thema
072 7 _aUYF
_2thema
082 0 4 _a005.1015113
_223
245 1 0 _aTools and Algorithms for the Construction and Analysis of Systems
_h[electronic resource] :
_b24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I /
_cedited by Dirk Beyer, Marieke Huisman.
250 _a1st ed. 2018.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2018.
300 _aXX, 429 p. 93 illus.
_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 ;
_v10805
500 _aAcceso multiusuario
505 0 _aTheorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .
506 0 _aOpen Access
520 _aThis book is Open Access under a CC BY licence. .
541 _fUABC ;
_cTemporal ;
_d01/01/2021-12/31/2023.
650 0 _aComputer logic.
650 0 _aSoftware engineering.
650 0 _aComputers.
650 0 _aData structures (Computer science).
650 0 _aComputer system failures.
650 1 4 _aLogics and Meanings of Programs.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
650 2 4 _aSoftware Engineering/Programming and Operating Systems.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I14002
650 2 4 _aComputing Milieux.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I24008
650 2 4 _aData Structures and Information Theory.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I15009
650 2 4 _aSystem Performance and Evaluation.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I13049
700 1 _aBeyer, Dirk.
_eeditor.
_0(orcid)0000-0003-4832-7662
_1https://orcid.org/0000-0003-4832-7662
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aHuisman, Marieke.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319899596
776 0 8 _iPrinted edition:
_z9783319899619
830 0 _aTheoretical Computer Science and General Issues ;
_v10805
856 4 0 _zLibro electrónico
_uhttp://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-89960-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-SOB
942 _cLIBRO_ELEC
999 _c242967
_d242966