Viper: A Verification Infrastructure for Permission-Based Reasoning.

Peter Mller, Malte Schwerhoff, Alexander J. Summers

Browse the full VMCAI paper archive.