Whiley

Whiley je programovací jazyk určený pre virtuálny stroj Java (JVM). Vyvíja a udržiava ho Whiley Development Group na Univerzite v Queenslande v Austrálii. Whiley je staticky a silne typovaný. Podporuje dátové typy, ako sú celé čísla, čísla s pohyblivou rádovou čiarkou, znaky, reťazce, logické signály a null. Whiley podporuje aj používateľom definované dátové typy a typové parametre. Whiley má množstvo vlastností, vďaka ktorým je vhodný na overovanie. Patrí medzi ne bohatá sada logických operátorov, prvotriedne predikátové funkcie a možnosť špecifikovať predpoklady a tvrdenia o správaní programu. Whiley je tiež navrhnutý tak, aby bol jednoduchý a ľahko sa učil.