Z3-2.6

Z3-2.6

Baixar agora do site do desenvolvedor

Licença: Gratuito
Total de downloads:127
Sistema operacional:Windows XP/7/10/11
Latest version:2.6
Denunciar informações incorretas

Descrição

Screenshot
Imagem do ecrã

Z3-2.6 2.6 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. O programa está dentro de Educação, na subcategoria Ferramentas de Ciência.

A versão mais recente do software pode ser baixada para computadores executando Windows XP/7/10/11 de 32-bit. As versões mais populares do programa são 2.6 e 1.0. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros. Esse programa foi originalmente feito por Microsoft Research.

Do desenvolvedor:

Z3 is a high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers. Z3 is integrated with a number of program analysis, testing, and verification tools from Microsoft Research. These include: VCC, Spec#, Boogie, Pex, Yogi, Vigilante, SLAM, F7, F*, SAGE, VS3, FORMULA, and HAVOC.

Confira mais programas, tais como Z3-2.12, TBarCode ou Connected Components Workbench, que podem ser similares a Z3-2.6.

Comentários

Obrigado por classificar o programa!
Por favor, adicione um comentário explicando o raciocínio por trás do seu voto.
Seu voto:
Informação atualizada em:
Últimas atualizações
Vivaldi
Vivaldi

Navegadores

CoDeSys
CoDeSys

IDE

NVDA
NVDA

Saúde & Boa Forma

Faça download mais fácil Faça download mais fácil Conheça o FDM Suporte a complementos Você pode obter complementos que baixam arquivos/vídeos de sites arbitrários.