Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
specification synthesis
Verdict: Multi-Agent Parallel Modular Verification
Deductive verification scales to large software systems through
modular reasoning
, where formal contracts summarize the behavior of …
Tengjie Lin
,
Zhongyi Wang
,
Haokun Li
,
Jianwei Yin
,
Mingshuai Chen
Cite
arXiv
Cite
×
