A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, Zhongyi, Lin, Tengjie, Chen, Mingshuai, Li, Haokun, Yang, Mingqi, Yi, Xiao, Qin, Shengchao, Luo, Yixing, Li, Xiaofeng, Gu, Bin, Lu, Liqiang, Yin, Jianwei
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

https://arxiv.org/abs/2512.24594