Spec-Skill: A Pluggable Coding-Agent Plugin for Neuro-symbolic Program Specification Synthesis
Open Access
- 3 October 2026
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 102-107
Abstract
No abstract availableFunding Information
- NSFC (62472339)
This publication has 23 references indexed in Scilit:
- Enhancing LLM-Based Proof Synthesis for Rust Programs via Semantic Chunking and Hierarchical Context Expansion2026
- Automated LTL Specification Generation from Industrial Aerospace Requirements2026
- Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification2024
- Formally Expressing What a Program Should Do: The ACSL Language2024
- Guide to Software Verification with Frama-C2024
- Progress on Software Verification: SV-COMP 20222022
- Loop Verification with Invariants and Contracts2022
- Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools2019
- Deductive Verification of Unmodified Linux Kernel Library Functions2018
- Formal Verification of kLIBC with the WP Frama-C Plug-inLecture Notes in Computer Science, 2014