LTL3 tools 0.0.7

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.7/5 - ‎3 ‎Suara

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