Viper: Verification Infrastructure for Permission-Based Reasoningpm.inf.ethz.ch2 pointsleonry2 years ago