La matematica che trasforma il mondo - I sistemi critici di sicurezza & gli algoritmi- n. 23- settimanale -11/8/2022 - copertina rigida

- in qualche occasione gli errori software hanno avuto effetti catastrofici in termini di perdita di vite umane o di danni economici ingenti. Perché i software si guastano? Che cosa si può fare per evitare i loro errori? Le risposte a queste due domande non sono semplici, in quanto i programmi per computer sono una delle creazioni più complesse realizzate dall'uomo nel corso della sua storia Affrontare in modo affidabile questa complessità richiede a sua volta tecniche sofisticate e strumenti matematici Come è riuscita Amazon Web Services a ridurre gli errori del suol sistemi critici di archiviazione nel cloud? La storia di un caso reale sull'uso di tecniche innovative di rilevamento degli errori software, raccontata dai suoi protagonisti.