Submit Software
  1. Home
  2. Windows
  3. Other
  4. eXplode

eXplode

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes
Download

eXplode is a storage system checker. It contains a generic model checker for real code instead of abstract models. Using this model checker, eXplode can systematically check a storage system against many possible crashes to find crash-recovery errors.

VERSION HISTORY

  • Version files posted on 2009-09-19
    Several fixes and updates
  • Version N/A posted on 2009-09-19

Program Details

Related Programs

  • gvcd Free

    GVCD - yet another frontend to mencoder. This one produces mpeg1/2 streams for use with vcdimager to create VCDs.The code is based on the script called encode2kvcd-improved.

  • SWaMP Free

    This project has moved: !! please go to http://www.sourceforge.net/projects/swamp !!

  • Duplicate Files Finder Free

    Duplicate Files Finder is a cross-platform application for finding and removing duplicate files by deleting, creating hardlinks or creating symbolic links. A special algorithm minimizes the amount of data read from disk, so t

  • htsneak: HTTP Tunnelling Utility Free

    An HTTP tunnelling utility for accessing external resources (pop3, imap, ymsg9, etc.) on the Internet through an HTTP proxy.

  • Fritz!Load Free

    It's a software which allows you to download files from (one-click-) hosters (like youtube.com, rapidshare.com and many others) and also http and ftp downloads only with your Fritz!Box. There is a graphical web-interface, so

  • RHB_Net Free

    RHB_Net is a small tool that allows you to browse shares on a network, ping FASTLY all the hosts connected to the network, and more..-RHB_Net est un outil permettant de parcourir les partages, pinguer VITE tous les machines d

  • Asynchronous Remote Volume Replicator Free

    PRATIMA, an Asynchronous Remote Volume Replicator for Linux:Pratima performs online, real-time, reliable and efficient block level data replication to a remote computer over a network in both synchronous and asynchronous mod

  • httpfs: mount a http url as a file Free

    httpfs depends on FUSE. It uses HTTP/1.1 extensions to read arbitrary bytes from a file on a web-server. This is particular interesting for an iso, since it can be investigated (loop device) without actually downloading the w

  • sfm Free

    SFM stands for Spam Free Mail and is a free subscription-based E-Mail server offering automatic dynamic aliases personalized to senders. Developed in Tcl under RedHat 9.0, requires qmail, the Gimp, and BerkeleyDB. Working.

  • DASH Management Free

    Implementation of DMTF's DASH initiative. This project includes packages for the server(CIMOM, providers, WSMan based transport layer) and a client SDK. It is designed (but not limited) to run on Raritans OPMA card.