Challenges of Software Verification

This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy some requirements of interest. Over the years, the software verification community has proposed and c...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Arceri, Vincenzo (Editor), Cortesi, Agostino (Editor), Ferrara, Pietro (Editor), Olliaro, Martina (Editor)
Format:	Electronic eBook
Language:	English
Published:	Singapore : Springer Nature Singapore : Imprint: Springer, 2023.
Edition:	1st ed. 2023.
Series:	Intelligent Systems Reference Library, 238
Subjects:	Telecommunication. Software engineering. Data protection. Internet of things. Communications Engineering, Networks. Software Engineering. Data and Information Security. Internet of Things.
Online Access:	https://doi.org/10.1007/978-981-19-9601-6
Tags:	Add Tag No Tags, Be the first to tag this record!