Towards neural-network-guided program synthesis and verification

DOI10.1007/S10703-024-00468-9MaRDI QIDQ6903891zbMATH OpenFDO

Authors Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno

Publication date 7 November 2025

Published in Formal Methods in System Design (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

neural networkprogram verificationprogram synthesis

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Towards neural-network-guided program synthesis and verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6903891)