Witnessing the elimination of magic wands

Stefan Blom, Marieke Huisman
[doi] [Google Scholar] [DBLP] [Citeseer]

International journal on software tools for technology transfer 17(6)
Pages 757-781
Topic(s): tools verification
Note(s): magic wand, permission logic, Prusti verifier, Viper verifier

todo: summarize this paper

This support for magic wands has subsequently been implemented in the Viper verifier (an [intermediate verification language]) and is used in the Prusti verifier.

Magic wand