Using Coq for Formal Modeling and Verification of Timed Connectors.

Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun

Browse the full SEFM paper archive.