[X] The "/phpMyAdmin/3.2.3/phpMyAdmin-3.2.3-all-languages.tar.gz" file could not be found or is not available. Please select another file.

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





Separate each tag with a space.

Release Date:

2009-09-19

Topic:

License:

Intended Audience:

User Interface:

Programming Language:

C, C++

Registered:

2008-10-21

Ratings and Reviews

Be the first to post a text review of eXplode. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

Rate and Review

Be the first person to add a text review.

Would you recommend this project?






<

Related Projects

Thanks for your rating!

Would you also like to write a review?





Skip Review

Thanks for your review!

Get credit for your review by logging in via OpenID. Click your account provider:

No Thanks