•        0

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.




comments powered by Disqus

Related Projects

CineFX - Professional grade media player

Cinefx is a professional grade media player, based on the jahplayer, that is capable of playing uncompressed video and image sequences at resolutions as high as 2K and 4K in real-time. Cinefx is an offline playback, editing, encoding, animation and visual effects tool based on the Jahshaka technology that allows you to create professional digital media on your desktop. Use the tools that hollywood uses to create blockbuster films and special effects.

Mmoshit - MMO-like plugin for eventscripts python


Thewayoftheexplodingfist - Project to re-create popular C64 game in java

This project involves reproducing a C64 game using any language one chooses. We will program in java 1.5. The game we chose is The Way of the Exploding Fist(Melbourne House).

Mvc3-music-store - Asp.net Mvc 3 app

A simple Asp.Net Mvc 3 app using EF Code First. (Entity Framework 4) and exploding Mvc3 upgrades.

Explodetheweb - A Chromium extension that causes elements on a webpage to become unfixed and drift a

Explode the Web is a Chrome/Chromium browser extension that allows you to mess up the appearance of a web page by letting elements of the page (text, links, pictures, video, etc.) fly around the screen when you mouse over them. Once you've messed up a page really badly, you can click on the extension button again and watch everything glide neatly back into place. It's rather impressive! To install the extension, head over to Explode the Web's page in the Extension Gallery: https://chrome.google.


Explode is an all archive exploder providing a unified interface to all unarchiving needs while also guarenteeing that the archive will be exploded into it's own directory.

Ssof - A fast-paced multiplayer deathmatch game

Stupendous Source of FireWizards fight each other in different arenas using exploding fireballs, bouncing lightning bolts, target-locking magic missiles and magic swords that deflect spells. Short-term plans: Some code cleanup Improved graphics and effects. Small game physics improvements. Long-term plans: Adding bots. Decoupling world updates and screen updates. Decoupling drawing from absolute positions so that the game may work exactly in the same way in different resolutions. Enabling networ

Libopensql - Provides universal SQL language for constructing queries in PHP

libOpenSQL provides a universal SQL language for constructing queries for different databases in PHP. This library only builds SQL for SELECT, INSERT, UPDATE and DELETE queries. Current databases supported: MySQL If you have implemented support for more databases, email me at jrhodes@roket-productions.com to have them added to the library. The project was developed by: James Rhodes (MySQL and class) Andreas 'Segaja' Schleifer (SQL exploder, taking quotes into account) Brandon Evans (Cleaning, ot