机译:自动生成用于软件规范模块化验证的假设
Computer Science Department, University of Ovieclo, Campus of Viesques, E-33207 Gijon, Spain;
assume-guarantee reasoning; model checking; modular verification; component verification;
机译:基于组件的软件验证的局部最小与最大假设生成方法研究
机译:基于组件的软件验证的最小假设生成方法的优化*
机译:基于组件的软件验证的最小假设生成方法
机译:基于组件的软件验证假设生成方法的实现
机译:自动生成和验证基于复杂模式的软件规范。
机译:基于软件网络测量软件模块化
机译:自动生成用于软件规范模块化验证的假设