Tarafından Programlar ermt.sf.net

Varlıklar ve ilişkiler kullanıcı tanımlı türleri olarak belirtilir. PVS ispat aracı kullanacağız. Doğrulama, tür denetleyicisi tarafından otomatik olarak oluşturulan tür doğruluğu koşullarını kanıtlamayı içerir.