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

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

User Reviews

Be the first to post a review of eXplode!

Additional Project Details

Intended Audience

Advanced End Users, Developers, Information Technology

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