Top companies that use Formal methods