/viper-bundle-closure

OML Bundle Closure Algorithm in the Viper verification infrastructure intermediate language

Apache License 2.0Apache-2.0

viper-bundle-closure

OML Bundle Closure Algorithm in the Viper verification infrastructure intermediate language