D-RisQ Ltd

Automatic verification technologies for software development from system requirements development (System Kapture), software requirements (Kapture), design verification (Modelworks), autocode verification (CLawZ) and binary verification (FEVER). See our 'St...