Logic & máy tính
Kiểm chứng hình thức: dùng logic chứng minh chip và phần mềm không lỗi
Kiểm chứng hình thức dùng logic chứng minh chip, phần mềm đúng đặc tả với mọi đầu vào, thay vì chỉ thử. Sau lỗi chia Pentium 1994, ngành chip dùng nó cho phần c