QGen toolsuite for Simulink ® /Stateflow ® models streamlines safety-critical system software verification efforts. NEW YORK--(BUSINESS WIRE)--AdaCore today announced that IHI Corporation of Japan has ...