Software Fault Prevention, Verification, and Validation

Product information

€59.99

Stock: In Stock Online

Our USPs

free delivery icon
Free Delivery
Extended Range: Delivery 3-4 working days
dubray rewards icon
Dubray Rewards
Earn 240 Reward Points on this title

Software Fault Prevention, Verification, and Validation

Product information

Author: Software Fault Prevention, Ver

Type: Paperback

ISBN: 9789819616206

Date: 25th February, 2025

Publisher: Springer

  1. Categories

  2. Software Engineering
  3. Mathematical Theory of Computation

Description

This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2-3, 2024. The 18 full papers included in this book were carefully reviewed and selected from 39 submissions. This  SFPVV 2024 symposium encourages the exchange of ideas and discussion on how formal methods, testing-based techniques, AI-driven approaches, and their combinations can be explored, established, and refined to achieve the goals of software fault preven tion, verification, and validation.

Additional details