Tarafından Programlar sites.google.com/site/stpfastprover/

STP (Basit Teorem Prover): program analizi/test oluşturma araçları, model denetleyicileri, hata bulucular, donanım/yazılım resmi doğrulama araçları, akıllı bulanıklaştırıcılar tarafından oluşturulan formülleri veya kısıtlamal