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.
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)
Springer
Pages 757-781
2015
Topic(s): tools verification
Note(s): magic wand, permission logic, Prusti verifier, Viper verifier
Springer
Pages 757-781
2015
Topic(s): tools verification
Note(s): magic wand, permission logic, Prusti verifier, Viper verifier