WEAKEST PRECONDITION SEMANTICS FOR TIME AND CONCURRENCY

被引：3
|
作者：
SCHOLEFIELD, D
ZEDAN, HSM
机构：
[1] Formal Systems Research Group, Department of Computer Science, University of York, Heslington, York
来源：
INFORMATION PROCESSING LETTERS | 1992年 / 43卷 / 06期
关键词：
FORMAL SEMANTICS; WEAKEST PRECONDITIONS; REAL-TIME SYSTEMS; CONCURRENCY;
D O I：
10.1016/0020-0190(92)90116-D
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A weakest precondition semantics for a real-time concurrent language is defined. An example in verification is presented, and the use of predicate transformers as the basis of a refinement calculus is also discussed.
引用
收藏
页码：301 / 308
页数：8
相关论文
共 46 条
12345