You just read:

Imandra Introduces System State-Space Region Decomposition

News provided by

Imandra Inc.

Jun 14, 2019, 07:00 ET