Software Reliability Analysis Using Weakest Preconditions in Linear Assignment Programs.
IEEE Transactions on Software Engineering(2016)
摘要
Weakest preconditions derived from triple axiomatic semantics have been widely used to prove the correctness of programs. They can also be applied to evaluate the reliability of software. However, deducing a weakest precondition, as well as determining its propagation path, encounters challenges such as unknown constraint conditions, symbol computation and means of representation. To address these...
更多查看译文
关键词
Algorithm design and analysis,Semantics,Software reliability,Computational modeling,Computer bugs,Cognition
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络