FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: