Whiley
From MaRDI portal
Software:1351431
No author found.
Source code repository: https://github.com/Whiley
Related Items (2)
Automatic proofs of memory deallocation for a Whiley-to-C compiler ⋮ Verifying Whiley programs with Boogie
This page was built for software: Whiley
