SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Le, Cuong Chi, Pham, Minh V. T, Duy, Tung Vu, Van, Cuong Duc, Phan, Huy N., Phan, Hoang N., Nguyen, Tien N.
Formato: Preprint
Publicado: 2026
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!