Sirui Liu, Wei Dong 0006, Tiecheng Ma, Yanqi Dong, Dong Yang. Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs. In Jonathan P. Bowen, Cláudio Gomes 0001, Zhiming Liu 0001, editors, Engineering Trustworthy Software Systems - 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures. Volume 15584 of Lecture Notes in Computer Science, pages 155-170, Springer, 2024. [doi]
Abstract is missing.