Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. The PEP tool

The PEP tool 2.0b

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 5.0/5 - ‎1 ‎votos
Baixar

O PEP é um quadro de modelização e verificação de sistemas paralelos, proporcionando um grande número de diferentes linguagens de modelização e técnicas de verificação (por exemplo, SDL, redes Petri e verificação de modelos)

história da versão

  • Versão 2.0beta4 postado em 2004-09-13
    Várias correções e atualizações
  • Versão 2.0beta4 postado em 2004-09-13

Detalhes do programa

Programas Relacionados

  • JDPF Grátis

    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 Grátis

    A Biblioteca VDK é uma estrutura em C++ que liga bibliotecas GTK+ GUI, fornecidas tanto para o Linux como para o Windows tem sido uma biblioteca base para o projeto VDKBuilder. Recentemente, o projeto foi dividido e a VDK con

  • Efes Grátis

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

  • Light Torch Flash Widget Pro Grátis

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

  • Ayra - VCL Report Generator Grátis

    Um designer de relatórios e aplicação geradora escrito em Delphi, com um designer de relatórios WYSIWYG, um componente VCL para a geração de relatórios, válido para a Delphi 5 a 2006, e um pequeno pedido de chamada commandLin

  • ES32 - EEG Analysis Grátis

    ES32 é um programa windows para a análise de ficheiros de dados EEG produzidos pela aplicação NEUROSCAN (tm) Acquire.

  • LJOS - Java and database integration Grátis

    LJOS significa a sequência de palavras: Linux, Java, Sistema Operativo. Trata-se de uma tentativa de criar uma extensão de código direto ao kernel Linux fortemente integrado com uma base de dados como um armazenamento comum.

  • DROIDinfo (Android 1.6+) Grátis

    A DROIDinfo exibe informações técnicas sobre um dispositivo Android. Destina-se a programadores que pretendam obter uma visão geral do hardware de um dispositivo, do sistema Linux/Android e das propriedades java vistas a part

  • Lumbermill - Log4J/JSR47 GUI Grátis

    Lumbermill é um centro de processamento e distribuição de registos visuais para Log4j e (em 2.0) java.util.logging (JSR47). É uma aplicação autónoma swing/GUI que suporta a visualização e arquivamento de eventos de log.

  • EmbeddedImageBuilder Grátis

    O objetivo deste projeto é fornecer um método para construir uma imagem bootable para pequenos sistemas incorporados, com base nas fontes de pacote originais, mais notavelmente buildroot, e para instantâneo os ficheiros de di