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, Part I /
edited by Dirk Beyer, Marieke Huisman.
Bok Engelsk 2018 · Electronic books.
Medvirkende | |
---|---|
Omfang | 1 online resource (XX, 429 p. 93 illus.)
|
Utgave | 1st ed. 2018.
|
Opplysninger | 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. .. - This book is Open Access under a CC BY licence. .
|
Emner | Computer logic.
Computer system failures. Computers. Data structures (Computer science). Vis mer... Software engineering.
Logics and Meanings of Programs. : https://scigraph.springernature.com/ontologies/product-market-codes/I1603X Computing Milieux. : https://scigraph.springernature.com/ontologies/product-market-codes/I24008 Data Structures and Information Theory. : https://scigraph.springernature.com/ontologies/product-market-codes/I15009 Software Engineering/Programming and Operating Systems. : https://scigraph.springernature.com/ontologies/product-market-codes/I14002 System Performance and Evaluation. : https://scigraph.springernature.com/ontologies/product-market-codes/I13049 |
Sjanger | |
Dewey | |
ISBN | 3-319-89960-0
|