Automated Technology for Verification and Analysis 16th International Symposium ATVA 2018 Los Angeles CA USA October 7 10 2018 Proceedings 1st edition by Shuvendu 3030010902 9783030010904

Automated Technology for Verification and Analysis 16th International Symposium ATVA 2018 Los Angeles CA USA October 7 10 2018 Proceedings Shuvendu K Lahiri – Ebook Instant Download/Delivery ISBN(s): 3030010902, 9783030010904

Product details:

• ISBN 10: 3030010902
• ISBN 13: 9783030010904
• Author: Shuvendu

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.  The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.

Table of contents:

DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks

Formal Specification for Deep Neural Networks

Regular Papers

Optimal Proofs for Linear Temporal Logic on Lasso Words

What’s to Come is Still Unsure

A Formally Verified Motion Planner for Autonomous Vehicles

Robustness Testing of Intermediate Verifiers

Simulation Algorithms for Symbolic Automata

Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems

Recursive Online Enumeration of All Minimal Unsatisfiable Subsets

Synthesis in pMDPs: A Tale of 1001 Parameters

Temporal Logic Verification of Stochastic Systems Using Barrier Certificates

Bisimilarity Distances for Approximate Differential Privacy

A Symbolic Algorithm for Lazy Synthesis of Eager Strategies

Modular Verification of Concurrent Programs via Sequential Model Checking

Quantifiers on Demand

Signal Convolution Logic

Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces

Accelerated Model Checking of Parametric Markov Chains

Continuous-Time Markov Decisions Based on Partial Exploration

A Fragment of Linear Temporal Logic for Universal Very Weak Automata

Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

Round-Bounded Control of Parameterized Systems

PSense: Automatic Sensitivity Analysis for Probabilistic Programs

Information Leakage in Arbiter Protocols

Neural State Classification for Hybrid Systems

Bounded Synthesis of Reactive Programs

Maximum Realizability for Linear Temporal Logic Specifications

Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs

Bounded Synthesis of Register Transducers

Tool Papers

EthIR: A Framework for High-Level Analysis of Ethereum Bytecode

MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the Fragment

Verifying Rust Programs with SMACK

BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems

Owl: A Library for -Words, Automata, and LTL

EVE: A Tool for Temporal Equilibrium Analysis

People also search:

how to automate mobile app testing

what is automated income verification

automated verification system

verification technology

automated identity verification