Find all runtime errors and rule violations in your code now

Free 30-day trial

A free copy of Astrée with RuleChecker can be obtained by filling out our PDF form and sending it to us.

The software is available for Windows 10 and 64-bit Linux. The trial version is technically identical to the full com­mercial version in every respect, except that your license file will expire after 30 days.

If you have any questions before trying, email our customer support.

Free training

There’s no need to figure out the software by yourself or read the user manual cover to cover. Your trial begins with a free interactive online training via WebEx, on a date and time of your own choosing.

After only about three hours, you are set to go. And it’s only then that your license file gets activated, so you still have a full 30 days left.

Free support to get you started

Feel free to contact with any questions during your evaluation. You can even request additional WebEx sessions if you need help with setting up an analysis, writing a complex annotation, or investigating a tricky part of your code.

All commercial licenses also include 180 days of free support and updates. Major new releases are published twice a year, meaning that you’ll receive at least one update for free.

Price quote

Email us for a quote tailored to your personal requirements, or get in touch with your local distributor.

RuleChecker is also available as a standalone tool from our partner QA Systems under the name QA-MISRA.