Cara Menginstal boogie di Debian 11

Cara Menginstal boogie di Debian 11

Dalam tutorial ini kita belajar cara menginstal boogie di Debian 11. boogie adalah bahasa pemrograman yang dapat diverifikasi (kompiler)

pengantar

Dalam tutorial ini kita belajar cara menginstal boogie di Debian 11.

Apa itu boogie?

Boogie adalah bahasa perantara kompiler dengan dukungan untuk pemeriksaan invarian otomatis menggunakan pemecah SMT seperti Z3. Ini mendukung verifikasi program untuk berbagai bahasa tingkat tinggi lainnya, termasuk Spec#, C, Dafny, dan Chalice.. Paket ini berisi kompiler Boogie, serta bvd, Debugger Verifikasi Boogie.

Ada tiga cara untuk menginstal boogie di Debian 11. Kita bisa menggunakan apt-get, apt dan aptitude. Pada bagian berikut kami akan menjelaskan masing-masing metode. Anda dapat memilih salah satunya.

Instal boogie Menggunakan apt-get

Perbarui database apt dengan apt-get menggunakan perintah berikut.

sudo apt-get update

Setelah memperbarui database apt, Kita dapat menginstal boogie menggunakan apt-get dengan menjalankan perintah berikut:

sudo apt-get -y install boogie

Instal boogie Menggunakan apt

Perbarui database apt dengan apt menggunakan perintah berikut.

sudo apt update

Setelah memperbarui database apt, Kita dapat menginstal boogie menggunakan apt dengan menjalankan perintah berikut:

sudo apt -y install boogie

Instal boogie Menggunakan aptitude

Jika Anda ingin mengikuti metode ini, Anda mungkin perlu menginstal aptitude terlebih dahulu karena aptitude biasanya tidak diinstal secara default di Debian. Perbarui database apt dengan aptitude menggunakan perintah berikut.

sudo apt update

Setelah memperbarui database apt, Kita dapat menginstal boogie menggunakan aptitude dengan menjalankan perintah berikut:

sudo aptitude -y install boogie

Cara Menghapus boogie di Debian 11

Untuk menghapus hanya paket boogie kita dapat menggunakan perintah berikut:

sudo apt-get remove boogie

Copot pemasangan boogie Dan Dependensinya

Untuk meng-uninstall boogie dan dependensinya yang tidak lagi dibutuhkan oleh Debian 11, kita bisa menggunakan perintah di bawah ini:

sudo apt-get -y autoremove boogie

Hapus Konfigurasi dan Data boogie

Untuk menghapus konfigurasi dan data boogie dari Debian 11 kita dapat menggunakan perintah berikut:

sudo apt-get -y purge boogie

Hapus konfigurasi boogie, data, dan semua dependensinya

Kita dapat menggunakan perintah berikut untuk menghapus konfigurasi boogie , data dan semua dependensinya, kita dapat menggunakan perintah berikut:

sudo apt-get -y autoremove --purge boogie

Referensi

  • situs web boogie

Ringkasan

Dalam tutorial ini kita belajar cara menginstal boogie di Debian 11 menggunakan alat manajemen paket yang berbeda seperti apt, apt-get dan aptitude.

Author: fungsi