[置顶] Model checking模型检测应用于实际系统或者实际软件中的瓶颈、挑战
摘要： 模型检测在实际系统或实际软件中的瓶颈或者挑战到底是什么呢？ 阅读全文
posted @ 2020-08-04 19:00 啊哈03 阅读(447) 评论(0) 推荐(0)
2022年4月11日
SpringerNature2021LATEXtemplate参考⽂献不显⽰问题处理办法
摘要： LaTex编辑后能够正常⽣成pdf⽂件，但排版后参考⽂献消失，可采⽤如下步骤解决： 采⽤LaTex排版 从bst⽂件夹中将sn-mathphys.bst⽂件剪切到上⼀级⽬录 采⽤BibTex排版 再采⽤pdflatexmk排版 这样参考⽂献就能出来了，并且与正⽂形成了交叉引⽤。 重新⽣成⽂章步骤： 阅读全文
posted @ 2022-04-11 00:15 啊哈03 阅读(930) 评论(0) 推荐(0)
2020年8月5日
Slicing Software for Model Construction
摘要： 一篇关于模型切片的论文，看的目的是参考算法证明。 阅读全文
posted @ 2020-08-05 16:47 啊哈03 阅读(91) 评论(0) 推荐(0)
2020年8月4日
Latex学习记录
摘要： 论文结构： \section{} 一级标题 \subsection{} 二级标题 \subsubsetction{} 三级标题 论文符号： \emph{} 斜体 \bm{} \mathbf{} 加粗 ^{}_{} 上下标 例子：\emph{p}$_\emph{q}$ 字母下标 \mathbb{} 花 阅读全文
posted @ 2020-08-04 15:05 啊哈03 阅读(96) 评论(0) 推荐(0)