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: |  |