Title :
Automated state-based analysis of distributed systems
Author :
Kapus, T. ; Horvat, B.
Author_Institution :
Fac. of Tech. Sci., Maribor Univ., Yugoslavia
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;
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
DOI :
10.1109/CMPEUR.1990.113666
