Programma's van ermt.sf.net

Entiteiten en relaties worden opgegeven als door de gebruiker gedefinieerde typen. We zullen gebruik maken van PVS proving tool. De verificatie omvat het bewijzen van de typecorrectheidsvoorwaarden die automatisch door de typ