DocumentCode
2706965
Title
Automated state-based analysis of distributed systems
Author
Kapus, T. ; Horvat, B.
Author_Institution
Fac. of Tech. Sci., Maribor Univ., Yugoslavia
fYear
1990
fDate
8-10 May 1990
Firstpage
522
Lastpage
523
Abstract
A state-based approach to formal specification and verification of distributed systems, and an automated tool for analysis of their communication behavior founded on this approach and written in Prolog, are presented. The approach can typically be used for verification of safety properties of communication protocols and mutual exclusion algorithms
Keywords
distributed processing; formal specification; program verification; software tools; Prolog; automated tool; communication behavior; communication protocols; distributed systems; formal specification; mutual exclusion algorithms; safety properties; state-based analysis; verification; Carbon capture and storage; Computer languages; Data structures; Formal specifications; State-space methods; Timing; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering
Conference_Location
Tel-Aviv
Print_ISBN
0-8186-2041-2
Type
conf
DOI
10.1109/CMPEUR.1990.113666
Filename
113666
Link To Document