Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S).

Xiyue Zhang, Meng Sun

Browse the full SEKE paper archive.