Serenity
发表于 2025-3-23 12:06:36
Abstract Interpretation of Indexed Grammarscognized by indexed grammars are called indexed languages and they correspond to the languages recognized by nested stack automata. For example indexed grammars can recognize the language . which is not context-free, but they cannot recognize . which is context-sensitive. Indexed grammars identify a
Vital-Signs
发表于 2025-3-23 16:45:58
Language Inclusion Algorithms as Complete Abstract Interpretationsbstraction of ., obtained by successively overapproximating the Kleene iterates of its least fixpoint characterization, is included in .. We show that a language inclusion problem is decidable whenever this overapproximating abstraction satisfies a completeness condition (i.e. its loss of precision
Outshine
发表于 2025-3-23 20:46:04
http://reply.papertrans.cn/88/8763/876213/876213_13.png
门闩
发表于 2025-3-24 00:35:32
http://reply.papertrans.cn/88/8763/876213/876213_14.png
alliance
发表于 2025-3-24 05:01:24
An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection efficient than the classic Fourier-Motzkin elimination method..In prior work, PLP was done in arbitrary precision rational arithmetic. In this paper, we present an approach where most of the computation is performed in floating-point arithmetic, then exact rational results are reconstructed..We als
Indent
发表于 2025-3-24 08:24:30
Analysis of Software Patches Using Numerical Abstract Interpretationand prove that both programs compute the same outputs when run on the same inputs. Our method is based on abstract interpretation, and parametric in the choice of an abstract domain. We focus on numeric properties only. Our method is able to deal with unbounded executions of infinite-state programs,
固执点好
发表于 2025-3-24 12:35:53
Verifying Numerical Programs via Iterative Abstract Testingn target property, and being hardly able to generate counter-examples when the property does not hold. In this paper, we propose iterative abstract testing, to create a property-oriented verification approach based on abstract interpretation. Abstract testing employs forward abstract executions (i.e
删减
发表于 2025-3-24 16:28:00
Robustness Verification of Support Vector Machinesr classification and regression tasks. Following a recent stream of works on formal robustness verification of (deep) neural networks, our approach relies on a sound abstract version of a given SVM classifier to be used for checking its robustness. This methodology is parametric on a given numerical
enormous
发表于 2025-3-24 21:08:26
http://reply.papertrans.cn/88/8763/876213/876213_19.png
饮料
发表于 2025-3-25 02:33:48
Conference proceedings 2019019.. The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions. . The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis and security; and temporal propertie