一路向楠——2020夏南行记第四站（广州、中山） 2020 夏南行记第四站（广州、中山） 最初定下去中山，行一程，见一人，足矣。 从上海到中山并无直达铁路，貌似中山也没机场，所以就更无直抵中山的飞机了。来去都经广州转乘，好在去年夏天广-深-港一游以及 10 月再访广州（emm 那时候本想再访香港，局势紧张放弃了）对广州地铁十分熟悉，转乘期间也没有出什么奇怪的状况，可能唯一说得上的事情就是，在地铁上没有提前买好去中山的城际列车票，本憨憨只能站着 2020-08-13 Computer Science 旅行 旅行
形式化方法——形式化验证方法概述 形式化验证方法概述 Formal verification: the only way to guarantee that a system is free of programming errors. 按照陈海波老师 Lecture 中所讲，形式化验证是确保系统无编程错误的唯一方法。 形式化验证为构建正确、可靠的系统提供了系统化手段。基于这种方式构建起来的系统，具备高可信度，由于目 2020-07-20 Computer Science 形式化方法 形式化方法