Lapisan abstraksi perangkat keras
Lapisan abstraksi perangkat keras (Inggris: hardware abstraction layer disingkat HAL) adalah sebuah lapisan logis antara perangkat keras fisik dari sebuah komputer dan perangkat lunak yang berjalan di dalam komputer yang bersangkutan. Fungsi dari HAL adalah untuk menyembunyikan perbedaan-perbedaan di dalam perangkat keras dan maka dari itu menyediakan platform yang konsisten untuk menjalankan aplikasi di atasnya.
Metode formal
Metode formal, dalam ilmu komputer dan rekayasa peranti lunak, adalah suatu pemodelan matematika, yang dapat digunakan untuk menjembatani (spesifikasi formal) pembuatan, pengembangan dan verifikasi perangkat keras dan peranti lunak, yang dapat digunakan dari perancangan awal sampai pengujian hasil . Penggunaan metode formal untuk perancangan peranti lunak dan perangkat keras didasari atas suatu pengharapan, sebagaimana terdapat dalam disiplin ilmu-ilmu rekayasa lainnya, dengan melaksanakan analisis matematis yang sesuai dapat berkontribusi pada kepercayaan (reliabilitas) dan ketahanan (robusitas) suatu rancangan .