Técnicas automáticas para el análisis y mejora de la fiabilidad y del rendimiento de software crítico y complejo Morse La construcción software crítico y complejo puede beneficiarse del uso de técnicas formales que proporcionan lenguajes y herramientas para su…