Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. eXplode
  5. Download

eXplode

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

Sobre eXplode

EXplode é um verificador de sistema de armazenamento. Contém um verificador de modelo genérico para código real em vez de modelos abstratos. Usando este verificador de modelo, o eXplode pode verificar sistematicamente um sistema de armazenamento contra muitos possíveis falhas para encontrar erros de recuperação de falhas.

Programas Relacionados

  • gvcd Livre

    GVCD - mais uma fachada para o mencoder. Este produz fluxos mpeg1/2 para uso com vcdimager para criar VCDs.O código é baseado no script chamado encode2kvcd-melhorado.

  • SWaMP Livre

    Este projeto mudou: !! por favor, vá para http://www.sourceforge.net/projects/swamp !!

  • Duplicate Files Finder Livre

    Duplicado Files Finder é um aplicativo multiplataforma para encontrar e remover arquivos duplicados excluindo, criando hardlinks ou criando links simbólicos. Um algoritmo especial minimiza a quantidade de dados lidos a partir

  • htsneak: HTTP Tunnelling Utility Livre

    Um utilitário de tunelamento HTTP para acessar recursos externos (pop3, imap, ymsg9, etc.) na Internet através de um proxy HTTP.

  • Fritz!Load Livre

    É um software que permite baixar arquivos de hosters (um clique)(como youtube.com, rapidshare.com e muitos outros) e também downloads http e ftp apenas com o seu Fritz! Caixa. Há uma interface web gráfica, por isso é muito fá

  • RHB_Net Livre

    RHB_Net é uma pequena ferramenta que permite navegar por ações em uma rede, pingando RAPIDAMENTE todos os hosts conectados à rede e muito mais.. -RHB_Net est un outil permettant de parcourir les partages, pinguer VITE tous le

  • Asynchronous Remote Volume Replicator Livre

    PRATIMA, um replicador de volume remoto assíncrona para Linux:A Pratima realiza a replicação de dados on-line, em tempo real, confiável e eficiente em nível de bloco para um computador remoto em uma rede em modos síncronas

  • httpfs: mount a http url as a file Livre

    httpfs depende de FUSE. Ele usa extensões HTTP/1.1 para ler bytes arbitrários de um arquivo em um servidor web. Isso é particularmente interessante para um iso, já que ele pode ser investigado (dispositivo de loop) sem realme

  • sfm Livre

    SFM significa Spam Free Mail e é um servidor de E-mail gratuito baseado em assinatura que oferece pseudônimos dinâmicos automáticos personalizados para remetentes. Desenvolvido em Tcl sob RedHat 9.0, requer qmail, gimp e Berk

  • DASH Management Livre

    Implementação da iniciativa DASH da DMTF. Este projeto inclui pacotes para o servidor (CIMOM, provedores, camada de transporte baseada em WSMan) e um SDK cliente. Ele foi projetado (mas não limitado) para ser executado no car