Category Archives: 形式化方法

什么是模态逻辑?

这是为好友写的简介。似乎有些通用价值,那就放在博客上吧。 逻辑学是一层层建立起来 … Continue reading

Posted in 学而思, 形式化方法 | 3 Comments

Bill Gates与Joel Spolsky对形式化方法的评价

Billg对formal methods的评价是我第一次看到。跟Joel Spo … Continue reading

Posted in 形式化方法 | Leave a comment

做完了Web service,形式化方法再能做点啥?

作为一个毕业许久的人……谈起纯学术有点偏离当前本职工作的意思。不过想想这些事情还 … Continue reading

Posted in 形式化方法 | 12 Comments

由无数细节组成的系统

计算机科学总是讲abstraction。这是源自数学的思维。formal met … Continue reading

Posted in 形式化方法, 计算机技术, 软件工程 | 1 Comment

WinHEC 2008见闻:static code verification

WinHEC是Windows硬件开发者大会。大部分主题都是针对驱动程序开发的。作 … Continue reading

Posted in 形式化方法 | 4 Comments

Singularity:基于形式化方法的操作系统?

Singularity是微软研究院(Redmond)做的研究性操作系统,设计目标 … Continue reading

Posted in 形式化方法 | Tagged , , | 3 Comments

用latex和beamer做幻灯片

做幻灯片是一件头疼的事。而用latex做幻灯片是一件很头疼、很头疼、\cdots … Continue reading

Posted in 形式化方法 | Leave a comment

澳大利亚的PhD机会

我以前的老师、好朋友Paddy Krishnan教授在招PhD学生。对形式化方法 … Continue reading

Posted in 形式化方法 | Leave a comment

用Python实现一个最简单的LTL解释器

昨天在考虑一个问题:能否用LTL (Linear Temporal Logic) … Continue reading

Posted in 形式化方法 | Leave a comment

什么是科学工作流(scientific workflow)

科学家们,例如天文研究者,要想协作科研的话,就需要共享大规模的数据,相当于做些分 … Continue reading

Posted in 形式化方法 | Leave a comment