The Rise and Fall of Linear Temporal Logic
讲座名称：
The Rise and Fall of Linear Temporal Logic
讲座时间：
2019-04-28
讲座人：
Moshe Y. Vardi
形式：
校区：
兴庆校区
实践学分：
讲座内容：
应智能网络与网络安全教育部重点实验室邀请，美国三院院士、欧洲两院院士、美国Rice大学Moshe Y. Vardi教授于4月28日来访我校，并为师生做学术讲座，欢迎大家参加。
讲座题目：The Rise and Fall of Linear Temporal Logic
讲座时间：2019年4月28日，下午10:00—11:30
讲座地点：钱学森图书馆星空报告厅
讲座人：Moshe Y. Vardi教授
讲座内容：
One of the surprising developments in the area of program verification in the late part of the 20th Century is the emergence of Linear Temporal Logic (LTL), a logic that emerged in philisophical studies of free will, as the cannonical language for describing temporal behavior of computer systems. LTL, however, is not expressive enough for industrial applications. The first decade of the 21 Century saw the emergence of industrial temporal logics such as ForSpec, PSL, and SVA. These logics, however, are not clean enough to serve as objects of theoretical study. This talk will describe the rise and fall of LTL, and will propose a new cannonical temporal logic: Linear Dynamic Logic (LDL).
相关视频