不确定程序语义模型的研究

程序的不确定性是指一个程序的运行可能会有两种或两种以上的方式，其结果可能一样，也可能不一样，它是软件形式化的一个重要的研究对象，其研究成果对网络计算、并行计算、平行计算以及分布式计算等研究领域有重大的实际意义，本项目主要研究不确定程序的论域语义模型，包括Dijkstra 的谓词转换器模型，经典幂域模型，以及并行计算的概率幂域模型。