viper-bundle-closure
OML Bundle Closure Algorithm in the Viper verification infrastructure intermediate language
OML Bundle Closure Algorithm in the Viper verification infrastructure intermediate language
OML Bundle Closure Algorithm in the Viper verification infrastructure intermediate language
OML Bundle Closure Algorithm in the Viper verification infrastructure intermediate language
Apache License 2.0