adores estratificados para la mayoría de los sistemas, y verificación formal reservada para el raro componente cuyo fallo sería catastrófico.

Referencias y lectura adicional

• Benjamin C. Pierce, Types and Programming Languages
• Simon Peyton Jones (ed.), The Implementation of Functional Programming Languages
• Flemming Nielson, Hanne Riis Nielson y Chris Hankin, Principles of Program Analysis
• Patrick Cousot y Radhia Cousot, «Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints»
• Scott Wlaschin, Domain Modelling Made Functional
• Steve McConnell, Code Complete: A Practical Handbook of Software Construction
• Michael Barr y el Consorcio MISRA, MISRA C: Guidelines for the Use of the C Language in Critical Systems
• Al Bessey et al., «A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World», Communications of the ACM