Kumpulan alat yang dapat digunakan untuk menghasilkan monitor ("watchdogs") dari rumus LTL. Hal ini diketahui dari area verifikasi runtime. Untuk informasi selengkapnya, lihat beranda proyek terkait.
Riwayat versi
- Versi 0.0.7 diposting di 2009-04-01
Beberapa perbaikan dan pembaruan - Versi 0.0.7 diposting di 2009-04-01
Detil Program
- Kategori: Pendidikan > Lain
- Penerbit: ltl3tools.sf.net
- Lisensi: Gratis
- Harga: N/A
- Versi: 0.0.7
- Platform: windows