Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. The PEP tool
  5. Download

The PEP tool 2.0b

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

Sobre The PEP tool

Pep é uma estrutura de modelagem e verificação para sistemas paralelos, fornecendo um grande número de diferentes linguagens de modelagem e técnicas de verificação (por exemplo, SDL, redes de Petri e verificação de modelos)

Programas Relacionados

  • JDPF Livre

    Este programa é um software de código aberto gratuito para uso pessoal e comercial, assim a escolha perfeita para aqueles que querem uma alternativa para programas pagos mais conhecidos.

  • VDK Library Livre

    A Biblioteca VDK é uma estrutura em C++ que liga bibliotecas DE GUI GTK+, desde que o Linux e o Windows tenha sido uma biblioteca base para o projeto VDKBuilder. Recentemente, o projeto foi dividido e a VDK continua o desenvo

  • Efes Livre

    Implementação do Esquema baseado em Bytecode (R^5RS). Rápido, compacto, estável, adequado para educação e experimentação.

  • Light Torch Flash Widget Pro Livre

    Widget para ligar/desligar o led da câmera (flash) com apenas um clique. Útil como uma tocha.

  • Ayra - VCL Report Generator Livre

    Um designer de relatórios e um aplicativo gerador escrito em Delphi, com um designer de relatórios WYSIWYG, um componente VCL para geração de relatórios, válido para Delphi 5 a 2006, e um pouco de aplicativo CommandLine para

  • ES32 - EEG Analysis Livre

    O ES32 é um programa de janelas para a análise de arquivos de dados EEG produzidos pelo aplicativo NEUROSCAN (tm) Acquire.

  • LJOS - Java and database integration Livre

    LJOS significa a sequência de palavras: Linux, Java, Sistema Operacional. Esta é uma tentativa de criar uma extensão de bytecode direta para o kernel Linux fortemente integrado a um banco de dados como um armazenamento comum.

  • DROIDinfo (Android 1.6+) Livre

    O DROIDinfo exibe informações técnicas sobre um dispositivo Android. Ele é voltado para desenvolvedores que querem ter uma visão geral do hardware de um dispositivo, do sistema Linux/Android e das propriedades Java, como vist

  • Lumbermill - Log4J/JSR47 GUI Livre

    Lumbermill é um centro de processamento e distribuição de troncos visuais para Log4j e (em 2.0) java.util.logging (JSR47). É um aplicativo independente Swing/GUI que suporta a visualização e arquivamento de eventos de registr

  • EmbeddedImageBuilder Livre

    O objetivo deste projeto é fornecer um método para construir uma imagem inicializável para pequenos sistemas incorporados, com base nas fontes originais do pacote, mais notavelmente buildroot, e para snapshot os arquivos de d