Reset Filters
Branch: 上海图书馆东馆

Cover is for reference only

Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3 6, 2017, Proceedings /

This book constitutes the refereed proceedings of the 15th 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....

Full description

Saved in:
Bibliographic Details
Corporate Authors: SpringerLink Online service
Group Author: D'Souza, Deepak; Narayan Kumar, K
Published: Springer International Publishing : Imprint: Springer,
Publisher Address: Cham :
Publication Dates: 2017.
Literature type: eBook
Language: English
Series: Lecture Notes in Computer Science, 10482
Subjects:
Computer science
Computer organization
Software engineering
Programming languages Electronic computers
Computers
Programming Languages, Compilers, Interpreters
Computer Systems Organization and Communication Networks
Computing Milieux
Theory of Computation
Computing Methodologies
Online Access: http://dx.doi.org/10.1007/978-3-319-68167-2
Summary: This book constitutes the refereed proceedings of the 15th 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.
Carrier Form: 1 online resource (XIX, 482 pages): illustrations.
ISBN: 9783319681672
Index Number: QA76
CLC: TP311.5
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 Refutatio

Related Book Recommendations