Embora seja uma linguagem de programação concebida para visar a máquina virtual Java (JVM). É desenvolvida e mantida pelo Grupo de Desenvolvimento Whiley da Universidade de Queensland, Austrália.
Enquanto que oy é estática e fortemente dactilografado. Suporta tipos de dados tais como números inteiros, números de ponto flutuante, caracteres, cordas, Booleans, e nulos. Whiley também suporta tipos de dados definidos pelo utilizador e parâmetros de tipo.
Embora tenha uma série de características que o tornam adequado para verificação. Estas incluem um rico conjunto de operadores lógicos, funções predicadas de primeira classe, e a capacidade de especificar suposições e afirmações sobre o comportamento do programa. Embora seja também concebido para ser simples e fácil de aprender.