Whiley

Whiley je programovací jazyk určený pro virtuální stroj Java (JVM). Vyvíjí a spravuje jej Whiley Development Group na univerzitě v australském Queenslandu. Whiley je staticky a silně typovaný. Podporuje datové typy, jako jsou celá čísla, čísla s pohyblivou řádovou čárkou, znaky, řetězce, logické symboly a null. Whiley podporuje také uživatelsky definované datové typy a typové parametry. Whiley má řadu vlastností, díky kterým je vhodný pro ověřování. Patří mezi ně bohatá sada logických operátorů, prvotřídní predikátové funkce a možnost specifikovat předpoklady a tvrzení o chování programu. Whiley je také navržen tak, aby byl jednoduchý a snadno se učil.