Vérification de logiciels : techniques et outils du model-checking

Le problème de la vérification du logiciel est devenu un enjeu important sur le plan économique. Or il existe diverses techniques pour vérifier tout ou partie des logiciels critiques pour lesquels la correction doit être garantie. Ce livre s'intéresse ici à la technique du model-checking, utilisé dans des domaines très variés : protocoles de communication, circuits intégrés...

Product details

• Authors: Collectif, SCHOENLEBEN
• Publisher: VUIBERT
• Languages: French
• Product format: Paperback / Softback
• Released: 02.02.2002
• EAN: 9782711786466
• ISBN: 978-2-7117-8646-6
• No. of pages: 304
• Weight: 384 g
• Series: Reseaux Securite; Vuibert informatique; Vuibert informatique
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages