认真小刘列8月任务清单了，好好学习，天天向上，希望月底能把任务都勾上✌。

2021-8-4

  • 找找Lustre V6编译器，因为导师告诉我其他语言的编译器一般都会先转换成C代码，再用GCC编译。

    见Blog：Lustre V6相关资料

  • 学习使用kind2对模型进行验证。

  • 学习Lustre V6的使用。

  • 了解kind2对SSM状态图的验证需要用到哪些数据作为输入。

  • 向师兄了解一下怎么从SSM前端获取数据，即前后端的连接。

  • 向师姐要一下z3验证的模型。