A dynamic logic for verification of synchronous models based on theorem proving

被引：0

作者：

Yuanrui Zhang

Frédéric Mallet

Zhiming Liu

机构：

[1] Southwest University,School of Mathematics and Statistics

[2] University Cote d’Azur,Center for Intelligent and Embedded Software

[3] CNRS,undefined

[4] Inria,undefined

[5] I3S,undefined

[6] Northwest Polytechnical University,undefined

来源：

Frontiers of Computer Science | 2022年 / 16卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用