In software or hardware development, we take an abstract view of a process or system-ie a
specification-and proceed to render it in a more implement able form. The relationship …

It is often desirable to describe the interface of an implementation system at a different
(usually more detailed) level of abstraction to the interface of the relevant specification. This …

We present here an implementation relation intended to formalise the notion that a system
built of communicating processes is an acceptable implementation of another base, or …

ABSTRACT A promising way of dealing with complex behaviours of networks of
communicating processes is to use abstractions. In our previous work, interface abstraction …

In this paper, the application of a four-valued logic to the switch-level test generation is
studied. A switch-level operator fault model is proposed. Switch-level U difference and Z …

One aim of the Rodin project is to contribute formal methods which will underpin the creation
of fault-tolerant systems. This intermediate report from WP2 (Methodology) describes …