Towards Formal Modeling and Verification of Probabilistic Connectors in Coq

Published in Proceedings of the 30th International Conference on Software Engineering & Knowledge Engineering, 2018

Recommended citation: Xiyue Zhang, Meng Sun. "Towards Formal Modeling and Verification of Probabilistic Connectors in Coq." Proceedings of the 30th International Conference on Software Engineering & Knowledge Engineering. SEKE 2018. http://ksiresearchorg.ipage.com/seke/seke18paper/seke18paper_23.pdf