javapathfinder/jpf-core
@javapathfinderO JPF é um framework de análise de software extensível para bytecode Java. O jpf-core é a base para todos os projetos JPF; você sempre precisa instalá-lo. Ele contém a VM básica e a infraestrutura de verificação de modelo, e pode ser usado para verificar defeitos de concorrência, como deadlocks, e exceções não tratadas, como NullPointerExceptions e AssertionErrors.
Estrelas
616
Bifurcações
412
Linguagem
Java
Licença
—
Último push
há 3 dias
Intel relacionado (0)
Ainda não há intel relacionado
Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.