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 >

Categories

Software Testing, Storage, File Systems

License

GNU General Public License version 2.0 (GPLv2)

Follow eXplode

eXplode Web Site

Other Useful Business Software
Get Avast Free Antivirus with 24/7 AI-powered online scam detection Icon
Get Avast Free Antivirus with 24/7 AI-powered online scam detection

Get protection for today’s online threats. Free.

Award-winning antivirus protection, as well as protection against online scams, dangerous Wi-Fi connections, hacked accounts, and ransomware. It includes Avast Assistant, your built-in AI partner, which gives you help with suspicious online messages, offers, and more.
Free Download
Rate This Project
Login To 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
Report inappropriate content