NUDGE
发表于 2025-3-28 17:50:38
Proving Things Correct,tion for external behaviours. While this method scores on simplicity, in lots of cases action by action comparison is too distinctive; rather than proving two agents identical, we’re more likely to want to prove that they either have or do not have certain properties.
Vsd168
发表于 2025-3-28 22:22:14
http://reply.papertrans.cn/48/4744/474355/474355_42.png
ODIUM
发表于 2025-3-28 23:25:26
Automating SCCS,cations. A tool which goes a long way to meet these objectives is the Concurrency Work Bench (CWB) produced by those nice people at the Laboratory for the Foundation of Computer Science (LFCS), at the University of Edinburgh, and most of this chapter is devoted to its use.