待办事项
小陌白 2022/10/22 日常
# 2022/10/22
√ 单词背诵
√ 论文阅读
# 2022/10/23
√ 看论文
√ 单词背诵
× 论文总结
√ 健身
× 工具使用
√ 网站完善
# 2022/10/24
× 看论文(形式化方法研究看完+模型检验文档的观看)
√ 单词背诵
× 论文总结
√ 健身
× 工具使用(spin, nusmv)
# 2022/10/25
√ 单词背诵
√ 健身
√ 工具使用(spin)
# 2022/10/26
√ 单词背诵
√ 工具使用(NuSMV)
√ 健身
× 论文(形式化方法研究)
× 论文总结+工具使用总结
# 2022/10/27
× 单词背诵
× 论文(形式化方法研究)
× 论文总结+工具使用总结
√ 健身
# 2022/10/28
√ 单词背诵
× 论文(形式化方法研究)
√ 工具使用总结
√ 健身
# 2022/10/29
× 单词背诵
× 论文(形式化方法研究)
× 工具使用总结完结
× 健身
# 2022/11/1
√ 单词背诵
× 论文(形式化方法研究)
√ spin工具使用总结完结
√ 健身
# 2022/11/2
√ 健身
√ NuSMV工具使用总结完结
# 2022/11/6
√ 单词背诵
√ 健身
# 2022/11/7
√ 健身
√ 单词背诵
× leetcode一章课
√ django一章课
√ 模型检验笔记总结
# 2022/11/9
√ 健身
√ 单词背诵
× 模型检验笔记总结
√ AADL语言和osate工具使用
# 2022/11/10
√ 健身
√ 单词背诵
√ AADL语言和osate工具的了解
# 2022/11/11
√ AADL语言和osate工具的了解
√ 健身
× 单词背诵
