Titlebook: Static Analysis; 25th International S Andreas Podelski Conference proceedings 2018 Springer Nature Switzerland AG 2018 static analysis.prog

集中营

An Efficient Abstract Domain for Not Necessarily Closed Polyhedra, double description representation and conversion procedure. We describe the implementation of the operators needed to interface the new abstract domain with commonly available static analysis tools, highlighting the efficiency gains enabled by the new representation. We also reconsider the widening

TRAWL

职业拳击手

Closing the Performance Gap Between Doubles and Rationals for Octagons,a Difference Bound Matrix (DBM). In the quest for efficiency, arithmetic is often realised with double-precision floating-point, albeit at the cost of the certainty provided by arbitrary-precision rationals. In this paper we show how Compact DBMs (CoDBMs), which have recently been proposed as a memo

Lumbar-Stenosis

Verifying Properties of Differentiable Programs,is not only necessary to verify the absence of violations such as out of bounds access or race conditions, but also to ensure that the results satisfy certain mathematical properties. In this work, we explore the limits of automated bounded verification in the verification of these programs by apply

是贪求

A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis, of the use of such tools is generally to obtain worst-case bounds on the absolute errors. However, the natural bound on the elementary error committed by each floating-point arithmetic operation is a bound on the relative error, which suggests that relative error bounds could also play a role in th

偶然

Solace

尊严

Process-Local Static Analysis of Synchronous Processes, it only needs to analyze one process at a time, but will in general have to do so repeatedly. The approach combines lattice-valued regular expressions to capture network communication with a dedicated shuffle operator for composing individual process analysis results. We present both a soundness pr

Coeval

Gerontology

Fairness: A Formal-Methods Perspective,ntion of computer scientists, law scholars, policy makers, journalists, and many others. In this expository paper, I will outline some of the research questions we have been studying about fairness through the lens of formal methods.