Hardware verification, software verification, concrete simulation,
symbolic simulation, concolic simulation, model checking, logical
inference, propositional formulas, and-inverter graphs, first order
logic, equivalence checking, ACL2, SAT solver, SMT solver, ABC,
Cryptol, 3DES, AES.