会员服务
Validating Formal Specifications with LLM-generated Test Cases
Arxiv
0+阅读 · 2月18日
Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
Arxiv
0+阅读 · 1月31日
The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
Arxiv
0+阅读 · 1月20日
Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
Arxiv
0+阅读 · 1月19日
Developing controlled natural language for formal specification patterns using AI assistants
Arxiv
0+阅读 · 2025年12月30日
Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
Arxiv
0+阅读 · 2025年12月19日
Model-based Testing of Practical Distributed Systems in Actor Model
Arxiv
0+阅读 · 2025年12月9日
Characterising Modal Formulas with Examples
Arxiv
0+阅读 · 2023年4月13日
参考链接
微信扫码咨询专知VIP会员
Top