Please use this identifier to cite or link to this item: http://localhost/handle/Hannan/559
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBeyer, Dirk. ;en_US
dc.contributor.authorHuisman, Marieke. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:18:51Z-
dc.date.available2020-05-17T08:18:51Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319899602 ;en_US
dc.identifier.isbn9783319899596 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/559-
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783319899596. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractThis book is Open Access under a CC BY licence. . ;en_US
dc.description.statementofresponsibilityedited by Dirk Beyer, Marieke Huisman.en_US
dc.description.tableofcontentsTheorem 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 (Dee3) -- 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. . ;en_US
dc.format.extentXX, 429 p. 93 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10805. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10805. ;en_US
dc.relation.haspart9783319899602.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectComputer system failures. ;en_US
dc.subjectSoftware Engineeringen_US
dc.subjectData structures (Computer science). ;en_US
dc.subjectComputer logic. ;en_US
dc.subjectComputersen_US
dc.subjectComputer Scienceen_US
dc.subjectLogics and Meanings of Programs. ;en_US
dc.subjectSoftware Engineering/Programming and Operating Systems. ;en_US
dc.subjectComputing Milieux. ;en_US
dc.subjectData Structures, Cryptology and Information Theory. ;en_US
dc.subjectSystem Performance and Evaluation. ;en_US
dc.subject.ddc005.1015113 ; 23 ;en_US
dc.subject.lccQA76.63 ;en_US
dc.titleTools and Algorithms for the Construction and Analysis of Systemsen_US
dc.title.alternative24th 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 /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319899602.pdf18.96 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBeyer, Dirk. ;en_US
dc.contributor.authorHuisman, Marieke. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:18:51Z-
dc.date.available2020-05-17T08:18:51Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319899602 ;en_US
dc.identifier.isbn9783319899596 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/559-
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783319899596. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractThis book is Open Access under a CC BY licence. . ;en_US
dc.description.statementofresponsibilityedited by Dirk Beyer, Marieke Huisman.en_US
dc.description.tableofcontentsTheorem 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 (Dee3) -- 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. . ;en_US
dc.format.extentXX, 429 p. 93 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10805. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10805. ;en_US
dc.relation.haspart9783319899602.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectComputer system failures. ;en_US
dc.subjectSoftware Engineeringen_US
dc.subjectData structures (Computer science). ;en_US
dc.subjectComputer logic. ;en_US
dc.subjectComputersen_US
dc.subjectComputer Scienceen_US
dc.subjectLogics and Meanings of Programs. ;en_US
dc.subjectSoftware Engineering/Programming and Operating Systems. ;en_US
dc.subjectComputing Milieux. ;en_US
dc.subjectData Structures, Cryptology and Information Theory. ;en_US
dc.subjectSystem Performance and Evaluation. ;en_US
dc.subject.ddc005.1015113 ; 23 ;en_US
dc.subject.lccQA76.63 ;en_US
dc.titleTools and Algorithms for the Construction and Analysis of Systemsen_US
dc.title.alternative24th 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 /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319899602.pdf18.96 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBeyer, Dirk. ;en_US
dc.contributor.authorHuisman, Marieke. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:18:51Z-
dc.date.available2020-05-17T08:18:51Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319899602 ;en_US
dc.identifier.isbn9783319899596 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/559-
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783319899596. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractThis book is Open Access under a CC BY licence. . ;en_US
dc.description.statementofresponsibilityedited by Dirk Beyer, Marieke Huisman.en_US
dc.description.tableofcontentsTheorem 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 (Dee3) -- 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. . ;en_US
dc.format.extentXX, 429 p. 93 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10805. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10805. ;en_US
dc.relation.haspart9783319899602.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectComputer system failures. ;en_US
dc.subjectSoftware Engineeringen_US
dc.subjectData structures (Computer science). ;en_US
dc.subjectComputer logic. ;en_US
dc.subjectComputersen_US
dc.subjectComputer Scienceen_US
dc.subjectLogics and Meanings of Programs. ;en_US
dc.subjectSoftware Engineering/Programming and Operating Systems. ;en_US
dc.subjectComputing Milieux. ;en_US
dc.subjectData Structures, Cryptology and Information Theory. ;en_US
dc.subjectSystem Performance and Evaluation. ;en_US
dc.subject.ddc005.1015113 ; 23 ;en_US
dc.subject.lccQA76.63 ;en_US
dc.titleTools and Algorithms for the Construction and Analysis of Systemsen_US
dc.title.alternative24th 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 /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319899602.pdf18.96 MBAdobe PDFThumbnail
Preview File