Challenges of software verification
Éditeur :
Springer Verlag, Singapore
ISBN :
9789811996030
Date de publication :
26 juil. 2024
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Singapour
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.