research
∙
08/25/2022
Electronic Appendix to "Input Invariants"
In this electronic appendix to our paper "Input Invariants," accepted at...
research
∙
02/03/2020
Treating for-Loops as First-Class Citizens in Proofs
Indexed loop scopes have been shown to be a helpful tool in creating sou...
research
∙
01/21/2019