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…