Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Ballou, Kenny"'
Autor:
Ballou, Kenny, Sherman, Elena
We present \texttt{muRelBench}, a suite of synthetic benchmarks for weakly-relational abstract domains and their operations. For example, the benchmarks can support experimental evaluations of proposed algorithms such as domain closure.
Comment:
Comment:
Externí odkaz:
http://arxiv.org/abs/2404.16243
Autor:
Ballou, Kenny, Sherman, Elena
Value-based static analysis techniques express computed program invariants as logical formula over program variables. Researchers and practitioners use these invariants to aid in software engineering and verification tasks. When selecting abstract do
Externí odkaz:
http://arxiv.org/abs/2305.16212
Autor:
Ballou, Kenny, Sherman, Elena
Verification techniques express program states as logical formulas over program variables. For example, symbolic execution and abstract interpretation encode program states as a set of integer inequalities. However, for real-world programs these form
Externí odkaz:
http://arxiv.org/abs/2304.14550