Mitsubishi Electric Corporation (TOKYO: 6503) announced today that it has developed “rapid formal verification technology for AI,” targeting AI models