logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
F

Fugao Li

guangxi university

0H-index
1Paper Count
0Citation Count
Published Papers 1
Publication Date
logo
Automatic assertion generation with LLM for ICS program verification
errJournal of Systems and Software
IF4.1
err2025-10-16
err0
PREAI
errKai Yang; Fugao Li; Ting Li; Yingjun Zhang; Limin Sun
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
L
Limin Sun
H-index: 28 · Papers: 235
Y
Yingjun Zhang
H-index: 13 · Papers: 70
K
Kai Yang
H-index: 10 · Papers: 28
T
Ting Li
H-index: 7 · Papers: 15
All loaded