17 citations · 21 across the 15 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.SE2019★ 1 cited
A Counterexample-guided Approach to Finding Numerical Invariants
ThanhVu Nguyen, Timos Antopoulos, Andrew Ruef +1
Numerical invariants, e.g., relationships among numerical variables in a program, represent a useful class of properties to analyze programs. General polynomial invariants represen…
cs.PL2019
Specification and Inference of Trace Refinement Relations
Timos Antonopoulos, Eric Koskinen, Ton-Chanh Le
Modern software is constantly changing. Researchers and practitioners are increasingly aware that verification tools can be impactful if they embrace change through analyses that a…