ORIGINAL RESEARCH
Published on 20 Jan 2026
Whole-value analysis by abstract interpretation
doi 10.3389/fcomp.2025.1655377
- 344 views
- Frontiers in Computer Science
- Software
- Research Topics
- Software Specification and Verification: Models and Tools
Software Specification and Verification: Models and Tools
712
Total downloads
10k
Total views and downloads
Articles
ORIGINAL RESEARCH
Published on 16 Jan 2026
A configurable approach for intra-model inconsistency management in multi-view collaborative modeling
doi 10.3389/fcomp.2025.1723480
- 550 views
REVIEW
Published on 24 Nov 2025
A dual perspective review on large language models and code verification
doi 10.3389/fcomp.2025.1655469
- 2,564 views
ORIGINAL RESEARCH
Published on 11 Nov 2025
Input parameters authentication through dynamic software watermarking
doi 10.3389/fcomp.2025.1643075
- 1,076 views
ORIGINAL RESEARCH
Published on 31 Oct 2025
Correct implementation of agent interaction protocols
doi 10.3389/fcomp.2025.1659785
- 1,012 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,569 views
