...
机译:调试正式规格:使用基于模型的诊断和对策的实用方法
Institute for Applied Information Processing and Communications (IAIK), Graz University of Technology, Graz, Austria;
Institute for Applied Information Processing and Communications (IAIK), Graz University of Technology, Graz, Austria;
Institute for Applied Information Processing and Communications (IAIK), Graz University of Technology, Graz, Austria;
Formal specification; Debugging; Unrealizability; Counterstrategies; Model-based diagnosis;
机译:电子表格程序的基于模型的诊断:基于约束的调试方法
机译:二维精确定位:使用正式规范进行调试
机译:X机通信:大型系统的正式和模块化规范的实用方法
机译:使用简单的策略调试正式规范
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:统一的调试方法是-网络分类法中的结构和映射
机译:VHDL-RTL设计软件调试中的建模状态 - a. 基于模型的诊断方法
机译:形式化规范在软件文档和调试中的应用