Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods
Paper in proceeding, 2025
Author
George Warren Granberry
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Wolfgang Ahrendt
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Moa Johansson
Chalmers, Computer Science and Engineering (Chalmers), Data Science and AI
Published in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 15234 LNCSp. 307-3259783031765537 (ISBN)
Conference
Manchester, United Kingdom, 2024-11-12 - 2024-11-14
Categorizing
Subject Categories
Software Engineering
Identifiers
DOI
10.1007/978-3-031-76554-4_19