CustomTools offers a 2-layer remote model checking system. The hidden layer takes care of error prevention and data collection. The user only sees warnings from this layer. The visible layer presents interactive charts to analyze the collected data and tools to fix them.

Hidden layer

Visible layer

ModelCheckerWorkflow.png

Hooks

Analytics

modelCheckerRBP.py

Tools