Validation and verification
- Build models and graphs of inference
- Build test suites to validate
- Also validate the effeciency of the entire toolchain with the tool
- Document the gaps
- Define the feasibility
- Mention the pitfalls and possible solution to overcome them