Publication Date:
1991
abstract:
In this paper we present an equalional approach to the verification of concurrent systems specified in the ISO specification language LOTOS. The approach is based on term rewriting techniques. The kind of reasoning and verification strategies which can be performed are illustrated through two examples.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
LOTOS
List of contributors: