Descrição
Especificações algébricas e programas podem ser escritos em CafeOBJ usando um pacote construído com SBCL. É útil para pesquisadores e desenvolvedores que trabalham com métodos formais, especificação e verificação de comportamento de sistemas.
É um ambiente de linguagem formal, não um aplicativo geral de escritório ou programação comum. Especificações exigem conhecimento do domínio, e resultados devem ser revisados dentro de um processo maior de verificação.