Model Checker

The Model Checker can be customized via a config file, which includes adding custom checks and corrections.