Login / Signup
YanLin Li
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Temporal Properties
Multi Threaded
Model Checking
Formal Specification
Top Venues
SOFL+MSVL
</>
Publications
</>
Xinfeng Shu
,
YanLin Li
,
Weiran Gao
A JPSL Based Model Checking Approach for Java Programs.
SOFL+MSVL
(2022)