For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification.
For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification.
他将时序逻辑引入计算机科学，为程序和系统的检测验证方面提供一种有力的工具。