行为时序逻辑
行为时序逻辑
（
英語：
）是由
莱斯利·兰伯特
（Leslie Lamport）发展的用于规范和推理并发自反应系统的时间逻辑。 主要应用于
计算机科学
，程序验证。
This article is issued from
Wikipedia
. The text is licensed under
Creative Commons - Attribution - Sharealike
. Additional terms may apply for the media files.