Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings /: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings. (2017)

• Record Type: Book
• Other Titles: ATVA 2017
• Further Information: Note: Edited by Deepak D'Souza, K. Narayan Kumar.
• Editors: D'Souza, Deepak; Narayan Kumar, K
• Other Names: ATVA (Symposium), 15th
• Contents: Invited Talk: Proving Absence of Starvation by Means of Abstract Interpretation and Model-checking -- Program Analysis -- Precise Null Pointer Analysis Through Global Value Numbering -- May-Happen-in-Parallel Analysis with Returned Futures -- JTDec: A Tool for Tree Decompositions in Soot -- Fixing the State Budget: Approximation of Regular Languages with Small DFAs -- An Equivalence Checking Framework for Array-Intensive Programs.-Loop Quasi-Invariant Chunk Detection -- SamaTulyata: An Efficient Path Based Equivalence Checking Tool -- Model Checking and Temporal Logics -- Tests and Refutation -- The Density of Linear-time Properties -- HyLeak: Hybrid Analysis Tool for Information Leakage -- Compositional Safety Refutation Techniques -- Gradient-based variable ordering of Decision Diagrams for systems with structural units -- Model Checking of C and C++ with DIVINE 4 (Tool Paper) -- Dealing with priorities and locks for concurrent programs -- Knowledge transfer and information leakage in protocols -- Concurrent Program Verification With Invariant-guided Underapproximation -- Neural Networks -- Maximum Resilience of Artificial Neural Networks -- Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks -- Learning and Invariant Synthesis -- Liquid Types for Array Invariant Synthesis -- Lifting CDCL to Template-based Abstract Domains for Program Verification -- Synthesizing invariants by solving solvable loops -- Requirements and Specifications Exploiting Partial Knowledge for Efficient Model Analysis -- A Language-theoretic View on Network Protocols -- Probabilistic Systems Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes -- Finding Polynomial Loop Invariants for Probabilistic Programs -- Synthesis of Optimal Resilient Control Strategies -- Hybrid Systems and Control -- ForFET: A Formal Feature Evaluation Tool for Hybrid Systems -- Attacking the V: On the Resiliency of Adaptive-Horizon MPC -- The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource (xix, 482 pages), illustrations
• Subjects: 006.3/33; Computer science; Automatic theorem proving -- Congresses; Artificial intelligence -- Congresses; Artificial intelligence; Automatic theorem proving; Computers -- Programming Languages -- General; Computers -- Hardware -- General; Computers -- Social Aspects -- Human-Computer Interaction; Computers -- Computer Science; Computers -- Intelligence (AI) & Semantics; Programming & scripting languages: general; Computer networking & communications; Information technology: general issues; Computer science; Artificial intelligence; Software engineering; Computer network architectures; Information theory; Artificial intelligence; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319681672; 3319681672; 3319681664; 9783319681665
• Related ISBNs: 9783319681665
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed October 12, 2017).
• 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.