Zachary Grannan | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Niki Vazou
15 publications
Eva Darulova
13 publications
Alexander J. Summers
8 publications

research

∙ 04/25/2023

Resource Specifications for Resource-Manipulating Programs

Specifications for modular program verifiers are expressed as constraint...

0 Zachary Grannan, et al. ∙

research

∙ 02/11/2022

REST: Integrating Term Rewriting with Program Verification (Extended Version)

We introduce REST, a novel term rewriting technique for theorem proving ...

0 Zachary Grannan, et al. ∙