验证和代码生成

测试，调试，日志数据并生成代码

使用状态图动画在模拟过程中可视化系统行为。设置断点并逐步浏览图表操作。通过从任何保存状态重新启动模拟并分析其对各种设置和配置的反应来运行多个方案。生成用于生产中快速原型和部署的代码。