2 citations · 3 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 1 cited
Minimally Comparing Relational Abstract Domains
Kenny Ballou, Elena Sherman
Value-based static analysis techniques express computed program invariants as logical formula over program variables. Researchers and practitioners use these invariants to aid in s…
cs.LO2023★ 2 cited
Identifying Minimal Changes in the Zone Abstract Domain
Kenny Ballou, Elena Sherman
Verification techniques express program states as logical formulas over program variables. For example, symbolic execution and abstract interpretation encode program states as a se…