000 05842nam a22006735i 4500
001 978-3-319-89963-3
003 DE-He213
005 20210511121411.0
007 cr nn 008mamaa
008 180413s2018 gw | s |||| 0|eng d
020 _a9783319899633
_9978-3-319-89963-3
024 7 _a10.1007/978-3-319-89963-3
_2doi
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 II /
_cedited by Dirk Beyer, Marieke Huisman.
250 _a1st ed. 2018.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2018.
300 _aXX, 465 p. 92 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 ;
_v10806
505 0 _aConcurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-Based Dependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).
506 0 _aOpen Access
520 _aThis book is Open Access under a CC BY licence.
650 0 _aComputer logic.
_92144
650 0 _aSoftware engineering.
_95999
650 0 _aComputer organization.
_92988
650 0 _aArtificial intelligence.
_96000
650 0 _aComputers.
_9718
650 0 _aComputer hardware.
_96001
650 1 4 _aLogics and Meanings of Programs.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
_92145
650 2 4 _aSoftware Engineering/Programming and Operating Systems.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I14002
_9891
650 2 4 _aComputer Systems Organization and Communication Networks.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I13006
_92993
650 2 4 _aArtificial Intelligence.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I21000
_96002
650 2 4 _aComputing Milieux.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I24008
_94229
650 2 4 _aComputer Hardware.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I1200X
_96003
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
_94716
700 1 _aHuisman, Marieke.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_94717
710 2 _aSpringerLink (Online service)
_9141
776 0 8 _iPrinted edition:
_z9783319899626
776 0 8 _iPrinted edition:
_z9783319899640
830 0 _aTheoretical Computer Science and General Issues ;
_v10806
_92536
856 4 0 _uhttps://doi.org/10.1007/978-3-319-89963-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-SOB
942 _cEBK
_w1
_xAdministrator Library
_y1
_z Administrator Library
999 _c1214
_d1214
773 _tSpringer Nature Open Access eBook