这个有限公司连续的对易学性A类分析程序(CORA)是MATLAB类的集合用于使用可达性分析对网络物理系统进行形式化验证。CORA集成了各种向量和矩阵集的表示和操作,以及各种动态系统类的可达性算法。该软件的设计使集合表示可以进行交换,而无需修改可达性分析的代码。CORA是使用面向对象范式设计的,这样用户可以安全地使用方法而不关心隐藏在对象中的详细信息。由于工具箱是用MATLAB编写的,因此安装和使用是平台无关的。自2018年发布以来,还支持将SpaceEx模型直接导入CORA。以下几点总结了CORA工具箱的主要功能。