17 citations · 39 across the 12 of their papers we have counts for
1 paper · 1 filter
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le +3
Relational verification encompasses information flow security, regression verification, translation validation for compilers, and more. Effective alignment of the programs and comp…