![](https://img-blog.csdnimg.cn/20201014180756919.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
Formal Theory
文章平均质量分 74
nickscofield
这个作者很懒,什么都没留下…
展开
-
symbolic model checking notations
通常的分析方法是:list/table represent the state spacesymbolic model: represent the state space symbolicallyTemoral Logic ↓μ calculus ↓symbolic model (using Bryants Binary D原创 2010-03-29 19:27:00 · 490 阅读 · 0 评论 -
Lambda演算学习笔记[zz]
<br />前言<br />blog好久没有更新了,上次更新还是4月28号。这段时间实在是很忙,4月的最后一周为了赶一篇论文,累死累活,最后在tom的帮助下总算在4月30号截稿之前完成了。4月29号的晚上一直改到了第二天凌晨3点才睡。<br />4月30号下午回家,可是没有料到长沙的八一路修路,路上堵车。打的从学校到火车站花了40分钟,平时只要15分钟的。于是在最后10分钟一路狂奔,终于在开车前1分钟上车了。<br />五一长假的第一天去了双峰山,云雾缭绕之中真的颇有几分气势,可惜数码照片全部都拍得很模糊,转载 2010-10-11 09:16:00 · 1396 阅读 · 0 评论