Login / Signup
Peimu Li
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Formal Analysis
Database
Search Space
Np Hard
Top Venues
COMPSAC
SEKE
</>
Publications
</>
Peimu Li
,
Jiaqi Yin
,
Huibiao Zhu
Formal Verification of COCO Database Framework Using CSP.
SEKE
(2022)
Peimu Li
,
Jiaqi Yin
,
Huibiao Zhu
,
Lili Xiao
,
Miroslav Popovic
Formal Analysis and Verification of DPSTM v2 Architecture Using CSP.
COMPSAC
(2022)