DocumentCode
3142404
Title
Equational reasoning about LOTOS specifications: a rewriting approach
Author
De Nicola, Rocco ; Inverardi, Paola ; Nesi, Monica
Author_Institution
Roma Univ., Italy
fYear
1991
fDate
25-26 Oct 1991
Firstpage
148
Lastpage
155
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location
Como
Print_ISBN
0-8186-2320-9
Type
conf
DOI
10.1109/IWSSD.1991.213066
Filename
213066
Link To Document