Programas por ermt.sf.net

Las entidades y las relaciones se especifican como tipos definidos por el usuario. Usaremos la herramienta de prueba PVS. La verificación implica probar las condiciones de corrección de tipo generadas automáticamente por el c