Aprove Otomatik Program Doğrulama Ortamı
Şimdi İndirin

Aprove Sıralama ve Özet

Aprove Etiketler

Testçi Doğrulama prova Test ortamı Program Doğrulama Kod Projesi

Aprove Açıklama

Sistem aprove, otomatik sonlandırma ve en içteki sonlandırma kanıtı (Koşullu) terim yeniden yazma sistemlerinin (TRSS), Prolog programları, işlevsel ve zorunlu programlar için kullanılabilir. APROVE şu anda birçok transformasyon tekniği, temel sonlandırma teknikleri (özyinelemeli yol siparişleri, knot bendidix siparişleri, polinom siparişleri, RFC kibritleri dahil), bağımlılık çiftlerinin daralma, yeniden yazılması ve başlatılması gibi son iyileştirmeler dahil olmak üzere bağımlılık çiftleri ve boyut değişim prensibini içeren bağımlılık çiftleri sunar. , ayrıca bağımlılık çiftleri ile birlikte. Takım JAVA'da yazılmıştır ve kanıtlar, hem tam otomatik veya etkileşimli bir modda grafiksel bir kullanıcı arayüzü ile yapılabilir. Geliştirme projelerinizde ne kadar faydalı olabileceğini görmek için APROVE a.

Aprove İlgili Yazılım