 | DAIKON.Uma implementação de detecção dinâmica de prováveis invariantes. |
| Baixe Agora | |
DAIKON. Classificação e resumo
Propaganda
- Licença:
- Open Software License
- Preço:
- FREE
- Nome do editor:
- Michael Ernst
- Site do editor:
- http://pag.csail.mit.edu/daikon/
DAIKON. Tag
DAIKON. Descrição
Uma implementação da detecção dinâmica de prováveis invariantes. Daikon é uma implementação da detecção dinâmica de invariantes prováveis. Uma invariante é uma propriedade (como "x = 2 * y 5" ou "this.next.prev = isso" ou "myArray é classificado pelo que é novo nesta versão: · O suporte do Kvasir para hosts X86-64 e programas C ++ foi melhorado.
DAIKON. Software Relacionado
