REVIEW
Published on 24 Nov 2025
A dual perspective review on large language models and code verification
doi 10.3389/fcomp.2025.1655469
- 1,076 views
- Frontiers in Computer Science
- Software
- Research Topics
- Software Specification and Verification: Models and Tools
Software Specification and Verification: Models and Tools
304
Total downloads
6,438
Total views and downloads
Submit your idea
You will be redirected to our submission process.
Articles
ORIGINAL RESEARCH
Published on 11 Nov 2025
Input parameters authentication through dynamic software watermarking
doi 10.3389/fcomp.2025.1643075
- 539 views
ORIGINAL RESEARCH
Published on 31 Oct 2025
Correct implementation of agent interaction protocols
doi 10.3389/fcomp.2025.1659785
- 754 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,208 views
Manuscripts can be submitted to this Research Topic via the main journal or any other participating journal.
Submit your idea
You will be redirected to our submission process.