AI e Verifica Formale con Lean: Rivoluzione nell'Ingegneria del Software con Leo de Moura
Leo de Moura, creatore di Lean e VP e Distinguished Scientist presso AWS, ha discusso con Ben Lorica su thedataexchange.media come l'AI stia rendendo la verifica formale del software più accessibile,