Llave

le permite hacer que Hoare Cálculo en la herramienta Key
Descargar ahora

Llave Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • GPL
  • Precio:
  • FREE
  • Nombre del editor:
  • The KeY Project
  • Sitio web del editor:
  • http://www.key-project.org
  • Sistemas operativos:
  • Mac OS X
  • Tamaño del archivo:
  • 1 KB

Llave Etiquetas


Llave Descripción

Le permite hacer que Hoare Cálculo en la herramienta clave Key-Hoare es un software gratuito y fácil de usar construido en la parte superior de la tecla y cuenta con un cálculo de Hoare con actualizaciones. Key-Hoare se usa en la verificación del Programa de Curso de Pregrado de Chalmers para enseñar el cálculo de Hoare.


Llave Software relacionado

Conversor ISA

Validate y transforme fácilmente los metadatos experimentales de ISA-TAB formateados. ...

54 33.1 MB

Descargar

Sobre nosotros