Whiley

Whiley is a programming language designed to target the Java Virtual Machine (JVM). It is developed and maintained by the Whiley Development Group at the University of Queensland, Australia. Whiley is statically and strongly typed. It supports data types such as integers, floating point numbers, characters, strings, Booleans, and null. Whiley also supports user-defined data types and type parameters. Whiley has a number of features which make it suitable for verification. These include a rich set of logical operators, first-class predicate functions, and the ability to specify assumptions and assertions about program behaviour. Whiley is also designed to be simple and easy to learn.