 | Key-Hoare.Memungkinkan Anda Membuat Hiare Calculus di Alat Kunci |
| Unduh sekarang | |
Key-Hoare. Peringkat & Ringkasan
Iklan
- Lisensi:
- GPL
- Harga:
- FREE
- Nama Penerbit:
- The KeY Project
- Situs web penerbit:
- http://www.key-project.org
- Sistem operasi:
- Mac OS X
- Ukuran file:
- 1 KB
Key-Hoare. Tag
Key-Hoare. Keterangan
Memungkinkan Anda membuat Hiare Calculus dalam alat utama Key-Hoare adalah perangkat lunak gratis dan mudah digunakan yang dibangun di atas utama dan menampilkan kalkulus HOARE dengan pembaruan. Key-Hoare digunakan dalam verifikasi program program sarjana Chalmers untuk mengajarkan Hoare Calculus.
Key-Hoare. Perangkat Lunak Terkait
