Artículo.
tecnologías para hacer que las técnicas de verificación formales sean utilizables hasta un nivel que los profesionales puedan aprovechar de su potencial. El enfoque descrito en este documento se basa en las tecnologías de ingeniería del lenguaje para ocultar la complejidad del uso de métodos