Editorial: Software specification and verification: models and tools
Software specification and verification are fundamental to ensuring the correctness, reliability, and security 15 of modern software systems. As software increasingly underpins safety-critical, distributed, and socially 16 impactful applications, challenges related to complexity, scalability, and emerging computational paradigms Pérez Gort introduces a dynamic software watermarking technique aimed at authenticating input parameters
Authors
- Nabendu Chaki (ORCID: https://orcid.org/0000-0003-3242-680X)
- Vincenzo Arceri (ORCID: https://orcid.org/0000-0002-5150-0393)
- Agostino Cortesi (ORCID: https://orcid.org/0000-0002-0946-5440)
- Novarun Deb (ORCID: https://orcid.org/0000-0003-3680-3625)
Institutions
- University of Calcutta (IN)
- University of Parma (IT)
- Ca' Foscari University of Venice (IT)
- University of Calgary (CA)
Publication Details
- Journal
- Frontiers in Computer Science
- Published
- 2026-04-22
- DOI
- https://doi.org/10.3389/fcomp.2026.1845840
- Primary Topic
- Advanced Malware Detection Techniques
- Type
- article
- Field-Weighted Citation Impact
- 0.00