Introduction to the Formal Design of Real-Time Systems

but when we state that A ''equals'' B , as well having to know what we mean by A and B we also have know what we mean by ''equals''. This section explores the role of observers; how different types of observ­ er see different things as being equal, and how we can produce algo­ rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our S...