华侨大学陈祖希--中文主页-- Efficient Symbolic Model Checking for Linear Temporal Dynamic Logic via Compositional Testers

陈祖希

访问量：

开通时间：..

最后更新时间：..

当前位置：中文主页 >> 科学研究 >> 论文成果

Efficient Symbolic Model Checking for Linear Temporal Dynamic Logic via Compositional Testers

点击次数：

发表刊物：The 20th Theoretical Aspects of Software Engineering Conference (TASE 2026) 【中国计算机学会高水平会议C类】

论文类型：会议论文

是否译文：否

发表时间：2026-07-04

收录刊物：EI

第一作者：骆翔宇

合写作者：吴立军,苏开乐,陈祖希

下一条：基于STPA的铁路联锁系统安全需求分析及验证方法