Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Beg, Arshad, O'Donoghue, Diarmuid, Monahan, Rosemary
Format:	Preprint
Publié:	2026
Sujets:	Software Engineering D.2.1; D.2.4; D.2.10; F.4.1; F.4.3
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet

https://arxiv.org/abs/2604.12747