Salah satu penggunaan istilah "komputer keamanan" mengacu pada teknologi yang digunakan untuk mengimplementasikan sistem operasi yang aman. Pada tahun 1980-an Departemen Pertahanan Amerika Serikat (DoD) menggunakan standar "Orange Book," namun standar internasional saat ini ISO/IEC 15458, "Common Criteria" mendefinisikan sejumlah Evaluasi yang lebih cepat. Banyak sistem operasi umum memenuhi standar EAL4 menjadi "Metodikal Dirancang, Diuji dan Ditinjau," namun verifikasi formal yang diperlukan untuk tingkat tertinggi berarti bahwa mereka jarang terjadi. Contoh EAL6 ("Semiformal Verified Design and Tested") sistem adalah Integritas-178B, yang digunakan di Airbus A380 dan beberapa jet militer.
Seberapa umum verifikasi formal untuk tingkat tertinggi?
jarang