eXplode

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.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow eXplode

eXplode Web Site

Other Useful Business Software

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Rate This Project

User Reviews

Be the first to post a review of eXplode!

Additional Project Details

Intended Audience

Information Technology, Advanced End Users, Developers

User Interface

Command-line

Programming Language

C++, C

Related Categories

C++ Software Testing Tool, C++ Storage Software, C++ File Systems, C Software Testing Tool, C Storage Software, C File Systems

Registered

2008-10-21

Similar Business Software

whatsmydns.net

whatsmydns.net lets you instantly perform a DNS lookup to check a domain name's current IP address and DNS record information against multiple nameservers located in different parts of the world. You can test changes made to new or existing domains and see if they have been updated correctly...

See Software
IQM Studio

IQM Studio is the technology at the heart of our Integrated Quality Management process that's comprised of our IQM Modeling and IQM Scripting features. Use IQM Modeling's powerful test generation algorithm to automate test design in our Cause Effect Models (CEM) – taking the guesswork out of...

See Software
Warmy

Warmy.io is a tool designed to enhance email deliverability by raising your email reputation to ensure your emails avoid the spam folder. The platform offers automated warm-up with the help of "Adeline", their AI engine. Users can connect their mailbox and let the system warm it up at an...

See Software