Challenges of Software Verification

Indeed, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size.

• | Author: Agostino Cortesi, Vincenzo Arceri, Pietro Ferrara, Martina Olliaro
• | Publisher: Springer Verlag, Singapore
• | Publication Date: Jul 25, 2023
• | Number of Pages:
• | Language:
• | Binding: Hardback
• | ISBN-13: 9789811996009
• | ISBN-10: 9811996008