From this page, you can run Whiley programs in your browser! For more on Whiley, visit whiley.org.

// Write your Whiley program here
Enable Verification