@inproceedings{e29daf9092884db1be91f6a463923c50,
title = "A Formal Proof of the Soundness of the Hybrid CPS Clock Theory",
abstract = "In this paper, we presented a formalization to the Clock Theory of He Jifeng in the Isabelle interactive theorem prover, we described the basic concepts of the theory in Isabelle and proved its soundness for programming hybrid systems.",
keywords = "He Jifeng's clock theory, Isabelle/HOL formalization, Real number sequence, Soundness, Topology space",
author = "Jianlin Wang and Chao Peng and Zhenbing Zeng",
note = "Publisher Copyright: {\textcopyright} 2020 IEEE.; 14th International Symposium on Theoretical Aspects of Software Engineering, TASE 2020 ; Conference date: 11-12-2020 Through 13-12-2020",
year = "2020",
month = dec,
doi = "10.1109/TASE49443.2020.00022",
language = "英语",
series = "Proceedings - 2020 International Symposium on Theoretical Aspects of Software Engineering, TASE 2020",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "97--104",
editor = "Toshiaki Aoki and Qin Li",
booktitle = "Proceedings - 2020 International Symposium on Theoretical Aspects of Software Engineering, TASE 2020",
address = "美国",
}