Patents

一种结合大语言模型与基于测试的形式化验证的程序理解和演化方法

Date:2026-07-13  Hits:

Type of Patent:Invent

State of Patent:Pending patent

Application Number:CN202610304221.0

Service Invention or Not:no

First Author:刘艾

Disigner of the Invention:贾泽东,刘杨

Publication Date:2026-06-16

Application Date:2026-03-13

Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)

Click:| The Last Update Time:--| The Last Update Time:-- |MOBILE Version