机译:网络投票系统的正式和半正式验证
CIFASIS and UNR, Rosario, Argentina;
LSIS-CIFASIS, Marseille, France;
Code review; Formal methods; Model-based testing; Z specifications;
机译:半正式规范和正式验证可改善数字设计:一些统计数据
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:利用边界优化进行模拟电路的半形式验证
机译:嵌入式系统的半正式验证的实现
机译:正式和半正式验证在软件测试,高级综合和能源互联网中的应用
机译:网络物理系统中控制模块的正式验证
机译:一个半正式方法,以验证复杂系统功能要求规格的正确性