Petra
Padrão aberto para verificação de software formal escalável
Destaque
86 Votos
Descrição
Petra é o primeiro padrão aberto do mundo para verificação formal de software escalável (orientada a objetos) e ferramentas de desenvolvedor profissional para o padrão.