View in EDS HTML Full Text PDF Full Text

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

Saved in:

Bibliographic Details
Title:	KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models.
Authors:	Wang, Zi¹ (AUTHOR), Zhu, Xiaoyu² (AUTHOR), Wang, Hongqiang² (AUTHOR), Yu, Yichun³ (AUTHOR), Lan, Yuqing^1,2 (AUTHOR) lanyuqing@buaa.edu.cn
Source:	PLoS ONE. 12/31/2025, Vol. 20 Issue 12, p1-25. 25p.
Database:	Academic Search Ultimate
Full text is not displayed to guests. Login for full access.

Description
ISSN:	19326203
DOI:	10.1371/journal.pone.0338821