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

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

  • 学习Lustre V6的使用。

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

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

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