To download a free copy of RuleChecker, fill out and sign the license agreement form (PDF) and email or fax it to us.
RuleChecker runs under 64-bit Windows and 64-bit Linux. You can try it both as a standalone tool and as an integral part of the runtime error analyzer Astrée.
The trial version is technically identical to the full commercial version in every respect, but your license file will expire after 30 days.
If you have any questions before trying, email our customer support.
There’s no need to figure out RuleChecker by yourself or read the user manual cover to cover. Your trial begins with a free interactive Web-based training. We use WebEx for sharing our desktop with you, and regular phone for the sound.
After only about 60 minutes, on a date and time of your own choosing, you’re all set to go. And it’s only then that your license file gets activated, so you still have a full 30 days left.
Make sure to contact email@example.com with any questions during your trial, and feel free to request additional WebEx sessions when needed.
All commercial licenses also include 180 days of free support and updates. Major new releases are published twice a year, which means you’ll receive at least one update for free.
The one-time fee for a perpetual license depends on the number of installations and the number of analyses running in parallel. The Qualification Support Kit and support for macOS are available at a surcharge. You can also rent the tool, or commission us to analyze your code for you.