Albert Camilleri

• Hardware verification using higher-order logic