Using Coq for Formal Modeling and Verification of Timed Connectors
Published in Proceedings of International Conference on Software Engineering and Formal Methods, 2018
Recommended citation: Weijiang Hong, Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun. "Using Coq for Formal Modeling and Verification of Timed Connectors." Proceedings of International Conference on Software Engineering and Formal Methods. SEFM 2017. https://link.springer.com/chapter/10.1007/978-3-319-74781-1_37