Popili: a new chapter for the Coco Platform
To celebrate Cocotec’s fifth anniversary, we have some exciting news. The Coco Platform has a new name – Popili.
News
The latest from the world of automated formal verification – including team news, customer stories and software updates.