Automated Technology for Verification and Analysis de Deepak D'Souza

Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings: Lecture Notes in Computer Science, cartea 10482

Deepak D'Souza

K. Narayan Kumar

This book constitutes the refereed proceedings of the 15^th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.
The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.
The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 461^.83 lei
20%

Preț: 461^.57 lei
20%

Preț: 424^.26 lei
20%

Preț: 390^.69 lei
20%

Preț: 498^.50 lei
15%

Preț: 388^.50 lei
20%

Preț: 390^.35 lei
20%

Preț: 460^.98 lei
20%

Preț: 461^.52 lei
20%

Preț: 497^.55 lei
20%

Preț: 389^.72 lei
20%

Preț: 461^.83 lei
20%

Preț: 389^.90 lei
20%

Preț: 497^.04 lei
20%

Preț: 462^.05 lei
20%

Preț: 391^.14 lei
20%

Preț: 389^.85 lei
20%

Preț: 461^.32 lei
20%

Preț: 498^.32 lei
20%

Preț: 496^.64 lei
20%

Preț: 532^.28 lei
20%

Preț: 527^.36 lei
20%

Preț: 498^.46 lei
15%

Preț: 461^.85 lei
20%

Preț: 390^.12 lei
20%

Preț: 532^.41 lei
20%

Preț: 462^.24 lei
20%

Preț: 391^.14 lei
20%

Preț: 461^.77 lei
20%

Preț: 390^.35 lei
20%

Preț: 461^.06 lei
20%

Preț: 461^.65 lei
20%

Preț: 390^.18 lei
20%

Preț: 392^.64 lei
20%

Preț: 252^.15 lei
20%

Preț: 390^.94 lei
20%

Preț: 461^.52 lei
20%

Preț: 391^.86 lei
20%

Preț: 532^.54 lei
20%

Preț: 462^.67 lei
20%

Preț: 461^.65 lei
20%

Preț: 639^.72 lei
20%

Preț: 255^.91 lei
15%

Preț: 535^.92 lei
20%

Preț: 535^.77 lei
5%

Preț: 516^.27 lei
20%

Preț: 499^.36 lei
20%

Preț: 391^.20 lei
20%

Preț: 391^.20 lei
20%

Preț: 249^.95 lei

Specificații

ISBN-13: 9783319681665
ISBN-10: 3319681664
Pagini: 482
Ilustrații: XIX, 482 p. 106 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.7 kg
Ediția:1st ed. 2017
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

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.