软件动态正确性的形式化描述

Keywords: [软件正确性, 参数化互模拟, 形式化, 极限, 拓扑, correctness of software, parameterized bisimulation, formalization, limit, topology]

Full-Text   Cite this paper   Add to My Lib

Abstract:

软件正确性是一个逐渐改进的过程.通过不断地修改,软件越来越接..

Full-Text