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

You Might Also Like

ConnectWise Cybersecurity Management for MSPs

Software and support solutions to protect your clients’ critical business assets

ConnectWise SIEM (formerly Perch) offers threat detection and response backed by an in-house Security Operations Center (SOC). Defend against business email compromise, account takeovers, and see beyond your network traffic. Our team of threat analysts does all the tedium for you, eliminating the noise and sending only identified and verified treats to action on. Built with multi-tenancy, ConnectWise SIEM helps you keep clients safe with the best threat intel on the market.

Learn More

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

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

Report inappropriate content