program verification

2025-05-14 Amortized Analysis as a Cost-Aware Abstraction Function
2024-08-06 Mariposa: the Butterfly Effect in SMT-based Program Verification