这期的主题貌似主要是formal specification：
（1）强调人的interactive，（2）推测程序的本意是否和specification符合，（3）将formal的关键是abstract级别的选取并分析了下data的abstract，（4）自动补充assert来帮忙验证，（5）do while的验证转移到loop，for loop的验证。（6）将系统用图理论构建起来一个structure，对系统定义一堆allowable executions，扰动图的执行路径跟allowable的比，不在allowable里的便是error（关注在concurrent errors上）。那这个allowable set本身定义起来也很麻烦啊，也存在路径爆炸问题吧？（7）DB中的rollback与recovery，error出现时load checkpoing，然后重新将操作来一遍，但文章目的说determining optimal checkpoint time是啥东西？（8）开发基于Fortran的PFortran，machine independent I/O, data compression/decompression, virtual data arrays, variable precision arithmetic, and a programmer-controlled data unit. （9）浅谈如何避免large complex system涉及的error，跟small程序比较，好像还挺有意思。
【以下三个感觉有点意思，备注全文读一读】
印象深刻的是在这一期基本就提到说formal specification在large complex系统的不适应强调了Automated testing技术的前景。原来testing这个作为保护程序正确手段的作用在这么早就开始提出来了：Testing large software with automated software evaluation systems
有一个讲自动往程序里补assert语句的，觉得有点意思：
A synthesizer of inductive assertions
如何更好的设计reliable的large-scale software：Some experience with automated aids to the design of large-scale reliable software
