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 |