Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
deductive verification
Preguss: It Analyzes, It Specifies, It Verifies
Fully automated verification of large-scale software and hardware systems is arguably the holy grail of formal methods. Large language …
Zhongyi Wang
,
Tengjie Lin
,
Mingshuai Chen
,
Mingqi Yang
,
Haokun Li
,
Xiao Yi
,
Shengchao Qin
,
Jianwei Yin
Cite
Cite
×
