Propaganda
Hol-testgen.
HOL-TestGen é A é um gerador de caso de teste para teste de unidade baseado em especificações. ...
teste caso gerador de teste gerador caso de teste Hol-testgen.
Hol
HOL é um ambiente de programação no qual os teoremas podem ser provados e ferramentas de prova implementadas. ...
Ambiente de programação automatizado Sistema de prova Teoremas Solver Hol
Hol-ocl.
hol-ocl é um ambiente de prova interativo para a linguagem de restrição de objeto (OCL). ...
incorporação incorporação rasa Lógica de ordem superior Ambiente de prova Hol-ocl.