Follow
Ah C. There are these projects in progress on getting a handle on that landscape.
https://www.microsoft.com/en-us/research/project/boogie-an-intermediate-verification-language/
Ah C. There are these projects in progress on getting a handle on that landscape.
https://www.microsoft.com/en-us/research/project/boogie-an-intermediate-verification-language/