ORIGINAL RESEARCH
Accepted on 18 Dec 2025
- Frontiers in Computer Science
- Software
- Research Topics
- Software Specification and Verification: Models and Tools
Software Specification and Verification: Models and Tools
423
Total downloads
7,551
Total views and downloads
Articles
REVIEW
Published on 24 Nov 2025
A dual perspective review on large language models and code verification
doi 10.3389/fcomp.2025.1655469
- 1,505 views
ORIGINAL RESEARCH
Published on 11 Nov 2025
Input parameters authentication through dynamic software watermarking
doi 10.3389/fcomp.2025.1643075
- 710 views
ORIGINAL RESEARCH
Published on 31 Oct 2025
Correct implementation of agent interaction protocols
doi 10.3389/fcomp.2025.1659785
- 844 views
ORIGINAL RESEARCH
Published on 04 Sep 2025
An application layer with protocol-based java smart contract verification
doi 10.3389/fcomp.2025.1596804
- 1,329 views
