Sound Automation of Magic Wands
Authors: Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Peter Müller and Alexander J. Summers
Paper Information
Title: | Sound Automation of Magic Wands |
Authors: | Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Peter Müller and Alexander J. Summers |
Proceedings: | CAV 2022 All Papers |
Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
Keywords: | separation logic, magic wand, automatic verification |
Pages: | 21 |
Talk: | Aug 09 11:20 (Session 102A: Automata and Logic) |
Paper: |