Glosarium terkait
Verifikasi Formal
Sebuah proses yang menggunakan bukti matematis untuk memastikan kebenaran algoritma kriptografi dan mekanisme blockchain.
Superkomputer
Superkomputer mengacu pada komputer atau mesin virtual yang beroperasi pada tingkat tertinggi dari daya komputasi yang dapat dicapai saat ini.
Antarmuka Pengguna (UI)
Platform tempat interaksi manusia dan mesin berlangsung, menentukan bagaimana pengguna dapat berinteraksi dengan mesin.
