design; formal hardware verification; hybrid verification systems; mechanical theorem proving; usability verification; system correctness;