Formal Verification of COCO Database Framework Using CSP.

Peimu Li, Jiaqi Yin, Huibiao Zhu

Browse the full SEKE paper archive.