Work

Editorial: Software specification and verification: models and tools

Year: 2026

Type: editorial

Abstract: 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

Source: Frontiers in Computer Science

DOI: 10.3389/fcomp.2026.1845840

Authors: Vincenzo Arceri, Nabendu Chaki, Agostino Cortesi, Novarun Deb

Institutions: University of Parma, University of Calcutta, Ca' Foscari University of Venice, University of Calgary

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

Estimated APC paid: $1,418

OpenAlex ID: W7155206191

Cites:

Cited by:

Related to: