eXplode

  •        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.

http://rcs.cs.columbia.edu/explode.html

Tags
Implementation
License
Platform

   




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


WARNING: NOT COMPLETED, MAY EXPLODE SERVER AT THIS TIMEHOW TO USE, INSTALL, and UPDATE: See Wiki

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.

exploder


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