baby-l4：l4语言的微型版本

核心抽象语法 概述 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 ）文件。 该视图通常在“编辑器”选项卡上打开（带有多个自动机的系统定义）。 在“模拟器”选项卡上，可以通过逐步执行方案来执行系统。 在“验证者”选项卡上，可以找到几个“查询”（与证明义务相对应）。 这些包含在与模型文件关