L’américain Jasper Design Automation a racheté la société suédoise SafeLogic, elle aussi impliquée dans le secteur de la preuve formelle, avec notamment un moteur réputé très performant. Avec cette acquisition, Jasper intègre les neuf ingénieurs de SafeLogic et renforce son expertise dans le langage d’écriture d’assertions PSL, une des spécialités du suédois.