Tools and algorithms for the construction and analysis of systems : 24th 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.: 24th 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 (2018)

• Record Type: Book
• Other Titles: TACAS 2018
• Further Information: Note: Dirk Beyer, Marieke Huisman (eds.).
• Editors: Beyer, Dirk, 1972-; Huisman, Marieke
• Other Names: TACAS (Conference), 24th; ETAPS (Conference), 21st
• Contents: Theorem 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. .
• Publisher Details: Cham, Switzerland : Springer Open
• Publication Date: 2018
• Extent: 1 online resource (xx, 429 pages), illustrations
• Subjects: 004.2/1; Computer science; System design -- Congresses; Computer software -- Verification -- Congresses; System analysis -- Congresses; Computer software -- Verification; System analysis; System design; Computers -- Software Development & Engineering -- General; Computers -- Social Aspects -- Human-Computer Interaction; Computers -- Information Theory; Computers -- Hardware -- Handheld Devices; Software Engineering; Information technology: general issues; Algorithms & data structures; Systems analysis & design; Logic design; Software engineering; Data structures (Computer science); Computer system performance; Computers -- Programming -- General; Computer programming / software development; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319899602; 3319899600
• Related ISBNs: 9783319899596
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed April 17, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.