Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. Archive of Formal Proofs

Archive of Formal Proofs 2011

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎1 ‎Votos
Descargar

El Archivo de Pruebas Formales es una colección de bibliotecas de pruebas, ejemplos y desarrollos de scientifc más grandes, mecánicamente comprobados en el probador del teorema Isabelle. Se organiza en el camino de una revista científica. Las presentaciones son referentes.

historial de versiones

  • Versión afp-Isabelle2011 publicado en 2011-04-03
    Varias correcciones y actualizaciones
  • Versión afp-Isabelle2011 publicado en 2011-04-03

Detalles del programa

Programas relacionados

  • ADAM Abstract Data Access Models Gratis

    2 marcos Java con modelos de objetos transitorios y persistentes basados en un enfoque no estándar (desarrollo menos evidente pero más rápido): un objeto es un conjunto de campos con nombre. 3 bibliotecas que no son de objeto

  • Jedora Remix VM Gratis

    Un dispositivo Linux de máquina virtual (para Virtualbox). Este Fedora Remix pone énfasis en aplicaciones basadas en Java. Incluye OpenOffice.org, OpenJDK, complementos de explorador (IcedTea) y aplicaciones populares basadas

  • DataAide Gratis

    DataAide es una aplicación de escritorio VB.Net que utiliza las herramientas de cliente de SQL Server 2000 para generar clases de VB.Net, C o VB6 y procedimientos almacenados para tablas en una base de datos de SQL Server 2k.

  • BlackFox OM (30' Series) Gratis

    BlackFox OM (BlackFox, The Object Model) es una biblioteca para la celebración y manipulación de modelos de objetos de cualquier sistema, aplicación y biblioteca. Puede utilizarlo como parte de herramientas UML, parte de gene

  • InfraHID Gratis

    El propósito del proyecto es permitir que una cámara web normal se utilice como un dispositivo de interfaz humana (HID). Ejemplos de cómo utilizar este software se utilizarían son: ratón, videojuegos de control, pizarra elect

  • Prop compiler compiler Gratis

    Prop es un lenguaje de coincidencia de patrones basado en C++. Implementa tipos de datos algebraicos, coincidencia de patrones y reescritura, y genera código de C++ como salida.

  • ga-flamoot Gratis

    Un algoritmo genético en Python para la evolución de los programas que escriben una cadena determinada en un espacio de datos asignado, utilizando un lenguaje de máquina inventado con solo 7 instrucciones y inversión de flujo

  • Fennel Gratis

    Fennel es una biblioteca de componentes de procesamiento y almacenamiento de datos escritos en C++. Se desarrolla como un subprotegmiento de The Eigenbase Project, y también sirve como sustrato para el proyecto Farrago.

  • NExcel Gratis

    La biblioteca NExcel permite a una aplicación .NET leer archivos Ms Excel, compatible con Excel 97 y superior. No es necesario instalar Ms Office Excel ni ninguna biblioteca de terceros. Basado en JExcelAPI de Andrew Kh

  • OpenTag Gratis

    OpenTag es una pila de comunicaciones con todas las funciones para el modo DASH7 2 (ISO 18000-7.4). Está diseñado para ejecutarse en HW integrado, especialmente RF SoCs, pero se puede portar a casi cualquier cosa. La hazaña p