Whiley employs state-of-the-art techniques for ensuring your software is correct. You can specify functions using preconditions and postconditions, and then statically verify( your implementation meets its specification.
Specification. Unlike most other programming languages, Whiley provides first-class support for specifying functions using preconditions and postconditions.
Static Verification. Whiley supports static verification technology to give sophisticated support for finding software errors.
Automated Testing. Whiley supports automated testing (in the style of QuickCheck) to quickly check for errors and other problems.
Package Management. Whiley has a small but growing selection of packages developed in the community. The Whiley build tool allows you to easily manage your dependencies and distribute libraries.