Title :
Equational reasoning about LOTOS specifications: a rewriting approach
Author :
De Nicola, Rocco ; Inverardi, Paola ; Nesi, Monica
Author_Institution :
Roma Univ., Italy
Abstract :
An equational approach is given 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
Keywords :
formal verification; inference mechanisms; parallel programming; rewriting systems; specification languages; ISO specification language LOTOS; concurrent systems; equational approach; reasoning; term rewriting techniques; verification strategies; Algebra; Automatic control; Carbon capture and storage; Control systems; Equations; Formal specifications; ISO standards; LAN interconnection; Open systems; Specification languages;
Conference_Titel :
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location :
Como
Print_ISBN :
0-8186-2320-9
DOI :
10.1109/IWSSD.1991.213066
