求翻译：Currently, the automatic code generation technology has been mature, which can be used for graphical modeling of requirements and then to simulate and formally verify these models.是什么意思？