核心抽象语法 概述 L4核心概念的抽象语法。 档案: Syntax.hs数据类型的声明(类型,类和实例,模块,表达式,定时自动机) Exec.hs执行/评估表达 TaToUppaal.hs将定时自动机转换为Uppaal XTA格式,请参阅 从L4 BNFC到核心抽象语法的TransL.hs转换。 非常不完整。 Typing.hs抽象语法的类型检查。 Test.hs文件Test.hs用于测试,可以丢弃。 上层 与GUI交互使用 使用java -jar uppaal.jar &启动Uppaal,然后使用File / Open system 。 加载模型( *xml )文件。 该视图通常