对于一个初学者应该如何快速掌握witness的核心内容

tk5689

我是一名在校研究生 导师刚刚申请了一个项目需要用witness 经过一段时间的学习后发现自己还是有很多东西不会 尤其是一些细节性的问题 还有一些需要变通性的方法 比如action中的一些编程方法，其中知道要做什么，却不知道用什么样的语言去描述，还有一些约定的规则 很多东西都无从下手  身边也没有用witness的高手 只有自己一个人在用 平时交流起来很不方便 我想很多初学者在刚入手这个软件时都有相同的困惑 或者是经过一段时间的探索后有了自己新的想法和认识，希望看到这个帖子的同仁们能够把自己的困惑或者发现或者是新的认识提出来与大家一起分享。。。    大家一起进步一起成长。。。

ymedward525712

我也有这种苦恼，现在在做论文，要用到witness，但是接触后才知道并不像想象中那么简单。你要是有了什么体会，也跟我讲讲哈。