Formal verification is done with adding a workflow to the LaunchPad. However, missing links or data dependencies, and circular dependencies are not detected at this stage and the errors appear at run time. To also check for such errors the -c or --check flags can be used when adding the workflow to the LaunchPad:
lpad add -c workflow.json
If a workflow has been added without such a check, it can be checked later with:
lpad check_wflow -i <firework ID>
NOTE: The correctness check is recommended for all exercises in this tutorial.