Z3-2.6

por Microsoft Research

Ooops

Vaya, el enlace de descarga ya no está

Tipo de licencia: Gratuita

Descargas totales:127

Sistema operativo:Windows XP/7/10/11

Latest version:2.6

Reportar información incorrecta

Descripción

Captura de pantalla

Z3-2.6 2.6 puede descargarse gratuitamente desde nuestra biblioteca de programas. Este programa sin coste fue diseñado originariamente por Microsoft Research. Las versiones más populares entre los usuarios de Z3-2.6 son 2.6 y 1.0.

La última versión de Z3-2.6 es compatible con ordenadores con Windows XP/7/10/11 de 32 bits. El resultado de nuestro antivirus ha determinado que esta descarga es segura. Z3-2.6 pertenece al grupo de programas Educación y Ciencia, en concreto al de aplicaciones sobre Herramientas científicas.

Del desarrollador:

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.

Quizás esté interesado en probar otros programas, como Z3-2.12, que podrían ser similares a Z3-2.6.

útil

Cómo limpiar el registro

útil

Cómo crear gráficos vectoriales

útil

Cómo usar un cortafuegos