首页   按字顺浏览 期刊浏览 卷期浏览 An exercise in weakest preconditions
An exercise in weakest preconditions

 

作者: Robin Whitty,  

 

期刊: Software Testing, Verification and Reliability  （WILEY Available online 1991）
卷期: Volume 1, issue 1  

页码: 39-43

 

ISSN:0960-0833

 

年代: 1991

 

DOI:10.1002/stvr.4370010107

 

出版商: John Wiley&Sons, Ltd

 

数据来源: WILEY

 

摘要:

AbstractWeakest preconditions are used to formulate the requirements for a 2‐state memory cell and it is proved that the flip‐flop device meets these requirements. This is an exercise in the use of the weakest preconditions which is more realistic than the usual examples of non‐looping arithmetic algor

 

点击下载:  PDF (180KB)



返 回