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

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

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

SPEC Innovations’ flagship model-based systems engineering solution can help your team reduce time-to-market, cost, and risk on even some of the most complex systems. This cloud or on-premise application uses a modern web browser, with an intuitive graphical user interface. Innoslate’s full...

See Software
CMW Platform

Low-code BPMS, helps mid-size and large companies automate, and improve business processes while staying aligned with enterprise architecture and IT policies. Business and IT teams can quickly build and adapt workflows without deep coding skills. BPM suite supports common use cases like CapEx...

See Software
FontChecker Pro

FontChecker Pro helps businesses, agencies, and developers automatically detect unlicensed fonts across their websites. The platform scans Google Fonts, system fonts, and paid fonts, and instantly generates detailed license compliance reports. By identifying potential licensing issues early,...

See Software