Artículo.
Aumento de la usabilidad de la verificación de código C basada en spin utilizando un lenguaje de definición de arnés Esta es una traducción del paper Increasing Usability of Spin-Based C Code Verification using a Harness Definition Language: Leveraging Model-Driven Code Checking to Practitioners,