Formalization and Verification of Percolator Using CSP.

Chenhui Wang, Ziqing Su, Huibiao Zhu

Browse the full COMPSAC paper archive.