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