What are the rules or regulatory codes that will be checked by the Automated Model Checker?

The regulatory codes and guidelines from BCA, URA and other technical agencies such as SCDF, NEA and PUB will be included in the automated model checker. Complex or non-quantifiable requirements will continue to be checked manually.