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

Archive of Formal Proofs 2011

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎1 ‎Votos
Download

O Arquivo de Provas Formais é uma coleção de bibliotecas de provas, exemplos e maiores desenvolvimentos scientifc, mecanicamente verificados no teorema da prova Isabelle. É organizado no caminho de uma revista científica. As submissões são referidas.

história da versão

  • Versão afp-Isabelle2011 postado em 2011-04-03
    Várias correções e atualizações
  • Versão afp-Isabelle2011 postado em 2011-04-03

Detalhes do programa

Programas Relacionados

  • ADAM Abstract Data Access Models Livre

    2 Estruturas Java com modelos de objetos transitórios e persistentes baseados em abordagem não padronizada (desenvolvimento menos evidente, mas mais rápido): um objeto é um conjunto de campos nomeados. 3 bibliotecas sem objet

  • Jedora Remix VM Livre

    Um aparelho Virtual Machine Linux (para Virtualbox). Este Remix do Fedora dá ênfase aos aplicativos baseados em Java. Inclui OpenOffice.org, OpenJDK, plug-ins do navegador (IcedTea) e aplicativos populares baseados em Java co

  • DataAide Livre

    O DataAide é um aplicativo de desktop VB.Net que utiliza ferramentas de clientes DO SQL Server 2000 para gerar classes VB.Net, C#ou VB6 e procedimentos armazenados para tabelas em um banco de dados SQL Server 2k. Também gera

  • BlackFox OM (30' Series) Livre

    BlackFox OM (BlackFox, The Object Model) é uma biblioteca para manter e manipular modelos de objetos de quaisquer sistemas, aplicativos e bibliotecas. Você pode usá-lo como parte de ferramentas UML, parte de geradores de códi

  • InfraHID Livre

    O objetivo do projeto é permitir que uma webcam normal seja usada como um Dispositivo de Interface Humana (HID). Exemplos de como usar este software seriam usados são: mouse, controle de videogames, placa branca eletrônica ou

  • Prop compiler compiler Livre

    Prop é uma linguagem de correspondência de padrão baseada em C++. Implementa datatips algébricos, correspondência de padrões e reescrita, e gera código C++ como saída.

  • ga-flamoot Livre

    Um algoritmo genético em Python para programas em evolução que escrevem uma determinada sequência para um espaço de dados alocado, usando uma linguagem de máquina inventada com apenas 7 instruções e reversão de fluxo.

  • Fennel Livre

    Fennel é uma biblioteca de componentes de armazenamento e processamento de dados escritos em C++. É desenvolvido como sub-projeto do Projeto Eigenbase, e também serve como substrato para o projeto Farrago.

  • NExcel Livre

    A biblioteca NExcel permite que um aplicativo .NET leia arquivos do Ms Excel, compatível com Excel 97 e superior. Não há necessidade de instalar o Ms Office Excel ou quaisquer bibliotecas de terceiros. Baseado em JExcel

  • OpenTag Livre

    OpenTag é uma pilha de comunicações em destaque para o MODO DASH7 2 (ISO 18000-7.4). Ele é destinado a executar em HW incorporado, especialmente SOCs RF, mas pode ser portado para quase qualquer coisa. O principal feito da Op