9月任务清单及进展
认真小刘列9月任务清单了,好好学习,天天向上,希望月底能把8月没勾上的任务都勾上✌。
学习使用kind2对模型进行验证。
学习Lustre V6的使用。
了解kind2对SSM状态图的验证需要用到哪些数据作为输入。
向师兄了解一下怎么从SSM前端获取数据,即前后端的连接。
向师姐要一下z3验证的模型。
本博客所有文章除特别声明外,均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来自 Fifish's BBlog!
认真小刘列9月任务清单了,好好学习,天天向上,希望月底能把8月没勾上的任务都勾上✌。
学习使用kind2对模型进行验证。
学习Lustre V6的使用。
了解kind2对SSM状态图的验证需要用到哪些数据作为输入。
向师兄了解一下怎么从SSM前端获取数据,即前后端的连接。
向师姐要一下z3验证的模型。