Exact system relationships
The verification problem for a system S a and a model of desired behavior S b , asks the fundamental question of whether S a is either equivalent to the desired system \((S_a \cong S_b)\) or contained in the desired system \((S_a \preceq S_b)\). The answer to such questions will always depend on what we mean by system equivalence and system containment. In this chapter, we give various precise de_nitions for such relationships between two systems.
Unable to display preview. Download preview PDF.