Freeboogie Bir kod doğrulama aracı.
Şimdi İndirin

Freeboogie Sıralama ve Özet

Freeboogie Etiketler

üretmek doğrulamak

Freeboogie Açıklama

FreeBoogie, bu aracı dil kullanarak yazılan uygulamalar için Boogie Doğrulama Sistemini çoğaltan Java tabanlı bir programdır. Uygulama, komut satırı argümanlarını kullanarak doğrulamayı yapılandırmanıza izin verir. Bu aracı, aracı dilde yazılmış programları kontrol etmek için kullanabilirsiniz. Olayları günlüğe kaydedebilir ve oluşturulan doğrulama koşullarını görüntüleyebilir.

Freeboogie İlgili Yazılım