"1977 年 9 月，关于时序逻辑的开创性论文发表。阿米尔·伯努利发表经典论文“The temporal logic ofprograms”，将时序逻辑引入计算机科学，这相当于引发了软件工程中的一次革命。时序逻辑广泛应用于芯片、硬件设计。"
关于时序逻辑的开创性论文发表
dsttl3
https://dsttl3.xyz
"1977 年 9 月，关于时序逻辑的开创性论文发表。阿米尔·伯努利发表经典论文“The temporal logic ofprograms”，将时序逻辑引入计算机科学，这相当于引发了软件工程中的一次革命。时序逻辑广泛应用于芯片、硬件设计。"
dsttl3
https://dsttl3.xyz