机译:基于自动不变生成的定时系统的成分验证
机译:对柔性制造单元的控制进行建模,以自动验证和生成控制程序
机译:基于k诱导和不变推理的C程序的验证和驳斥
机译:使用自动生成不变性的程序验证
机译:在微处理器和存储系统的形式验证中自动生成不变量。
机译:用于ESA地球观测第2级产品生成的Satellite Image Automatic Mapper轻型计算机程序的GEO-CEOS阶段4验证-第2部分:验证
机译:通过图形程序设计,基于仿真的验证和自动代码生成实现无差错控制程序
机译:使用符号执行和不变生成验证Java程序