semiformally verified design and tested
...形式化设计和测试（semiformally designed and tested） 半形式化验证的设计和测试（semiformally verified design and tested） EAL7 A1 形式化验证的设计和测试（formally verified design and tested） 国脉信息学院——数据库系统概论 国脉信息学院 数据库...
基于10个网页-相关网页
semiformally verified design and tested
经过半正式验证的设计和测试
以上为机器翻译结果，长、整句建议使用 人工翻译 。