LTL formüllerinden monitör ("watchdogs") oluşturmak için kullanılabilecek araçlar topluluğu. Bu, çalışma zamanı doğrulama alanından bilinir. Daha fazla bilgi için ilişkili proje ana sayfasına bakın.
sürüm geçmişi
- Sürüm 0.0.7 tarihinde gönderildi 2009-04-01
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm 0.0.7 tarihinde gönderildi 2009-04-01
Program Detayları
- Kategori: Eğitim > Diğer
- Yayımcı: ltl3tools.sf.net
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: 0.0.7
- Platform: windows