KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models

• Zi Wang,

  Roles Conceptualization, Data curation, Formal analysis, Investigation, Methodology, Validation, Visualization, Writing – original draft, Writing – review & editing

  Affiliation School of Cyber Science and Technology, Beihang University, Beijing, China

  https://orcid.org/0009-0004-2975-7928

  ⨯
• Xiaoyu Zhu,

  Roles Data curation, Investigation, Software, Visualization, Writing – original draft

  Affiliation School of Software, Beihang University, Beijing, China

  ⨯
• Hongqiang Wang,

  Roles Data curation, Investigation, Software, Writing – original draft

  Affiliation School of Software, Beihang University, Beijing, China

  https://orcid.org/0000-0002-5647-936X

  ⨯
• Yichun Yu,

  Roles Data curation, Investigation, Software, Writing – original draft

  Affiliation School of Computer Science and Engineering, Beihang University, Beijing, China

  ⨯
• Yuqing Lan

  Roles Funding acquisition, Investigation

  * E-mail: lanyuqing@buaa.edu.cn

  Affiliations School of Cyber Science and Technology, Beihang University, Beijing, China, School of Software, Beihang University, Beijing, China

  ⨯