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

Yuanrui ZHANG; Frédéric MALLET; Zhiming LIU

doi:10.1007/s11704-022-1374-4

Front. Comput. Sci. ›› 2022, Vol. 16 ›› Issue (4) : 164407 DOI: 10.1007/s11704-022-1374-4

Theoretical Computer Science

LETTER

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

Author information +

History +

PDF (1280KB)

Graphical abstract

Cite this article

Download citation ▾

Yuanrui ZHANG, Frédéric MALLET, Zhiming LIU. A dynamic logic for verification of synchronous models based on theorem proving. Front. Comput. Sci., 2022, 16(4): 164407 DOI:10.1007/s11704-022-1374-4

登录浏览全文

4963

注册一个新账户忘记密码

References

Publishing order | Descend order by publishing year | Descend order by cited within

[1]	Benveniste A , Caspi P , Edwards S A , Halbwachs N , Le Guernic P , de Simone R . The synchronous languages 12 years later. Proceedings of the IEEE, 2003, 91( 1): 64– 83

[2]	Harel D Kozen D Tiuryn J. Dynamic Logic. MIT Press, 2000

[3]	Harel D. First-Order Dynamic Logic. Berlin: Springer, 1979

[4]	Platzer A. A temporal dynamic logic for verifying hybrid system invariants. In: Proceedings of International Symposium on Logical Foundations of Computer Science. 2007, 457– 471