A compiler backend for translating Whiley programs into Boogie programs for verification.
Apache License 2.0
1
stars
0
forks
source link
readme
Whiley2Boogie
A compiler backend for translating Whiley programs into Boogie programs for verification. See the Boogie Repository for instructions on installing Boogie on your system.