2月的BBlog in 2022

---

新的一年，缺席了第一个月。迟到的一句：新年快乐！

---

2022-2-12

2022年2月12日 星期六 天气 多云 心情 舒适

过完年后的第一天学习，开启今年的BBlog。

modelio官网：Modelio Open Source - UML and BPMN free modeling tool

modelio开发者指南 Module Developer Guide Index · ModelioOpenSource/Modelio Wiki · GitHub

• UPPAAL也是一个模型检查器，可以用来进行与Kind2性能的比较。