中文
Home > Scientific Research > Paper Publications

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

Hits:

  • Journal:The 20th Theoretical Aspects of Software Engineering Conference (TASE 2026) 【中国计算机学会高水平会议C类】

  • Indexed by:会议论文

  • Translation or Not:no

  • Included Journals:EI

  • First Author:骆翔宇

  • Co-author:吴立军,苏开乐,陈祖希

  •

Xiamen Campus: No.668 Jimei Avenue, Xiamen, Fujian, China 361021    Quanzhou Campus: No.269 Chenghua North Rd. Quanzhou, Fujian, China 362021 Click:
  MOBILE Version

The Last Update Time:..