research
∙
07/19/2023
Alignment complete relational Hoare logics for some and all
In relational verification, judicious alignment of computational steps f...
share
research
∙
03/25/2023
The WhyRel Prototype for Relational Verification
Verifying relations between programs arises as a task in various verific...
research
∙
12/20/2022
Making Relational Hoare Logic Alignment Complete
In relational verification, judicious alignment of computational steps f...
research
∙
02/09/2022
An algebra of alignment for relational verification
Relational verification encompasses information flow security, regressio...
research
∙
01/27/2021