research
∙
06/27/2023
DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing
For many decades, advances in static verification have focused on linear...
share
research
∙
11/04/2021
Source-Level Bitwise Branching for Temporal Verification
There is increasing interest in applying verification tools to programs ...
research
∙
05/11/2021
