Software verification and analysis: an integrated, hands-on approach
Auteur :
Laski, Janusz
Éditeur :
Laski, JanuszStanley, William,
ISBN :
9781849968294
Date de publication :
13 oct. 2010
Dimensions :
23,4 x 15,6 x 1,3 cm
Poids :
348 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.