Zachary Grannan

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 5

Top Topics

Symbolic Model Checking

Top Venues

Dagstuhl Artifacts Ser.

Publications

Zachary Grannan, Alexander J. Summers
Resource Specifications for Resource-Manipulating Programs. CoRR (2023)
Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers
REST: Integrating Term Rewriting with Program Verification. ECOOP (2022)
Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers
REST: Integrating Term Rewriting with Program Verification (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers
REST: Integrating Term Rewriting with Program Verification (Extended Version). CoRR (2022)
Vytautas Astrauskas, Aurel Bílý, Jonás Fiala, Zachary Grannan, Christoph Matheja, Peter Müller, Federico Poli, Alexander J. Summers
The Prusti Project: Formal Verification for Rust. NFM (2022)