Whiley

MaRDI QIDQ1351431swMATHFDO

Official website https://whiley.org

Source code repository https://github.com/Whiley

Cited in

(2)

• Verifying Whiley programs with Boogie
• Automatic proofs of memory deallocation for a Whiley-to-C compiler

This page was built for software: Whiley