You just read:

Axiomise Launches a Unique Formal Verification Training Program

News provided by

Axiomise Ltd.

Jun 19, 2018, 02:00 ET