Automated state-based analysis of distributed systems

Automated state-based analysis of distributed systems

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 commun...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Kapus, T., Horvat, B.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Carbon capture and storage
Computer languages
Data structures
Formal specifications
State-space methods
Timing
Writing
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.< >
DOI:10.1109/CMPEUR.1990.113666