| DAIKON. Uma implementação de detecção dinâmica de prováveis invariantes. |
Baixe Agora |
DAIKON. Classificação e resumo
- Licença:
- Open Software License
- 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