Behaviour Analysis of Distributed Systems Using the Tracta Approach

• 1 January 1999
• journal article
• Published by Springer Nature in Automated Software Engineering
• Vol. 6  (1) , 7-35
• https://doi.org/10.1023/a:1008645800955

Abstract

Keywords

• STATIC ANALYSIS
• AUTOMATED ANALYSIS
• COMPOSITIONAL REACHABILITY ANALYSIS
• MODEL CHECKING
• SAFETY PROPERTIES
• LIVENESS PROPERTIES
• SOFTWARE ARCHITECTURE
• CONCURRENT AND DISTRIBUTED SYSTEMS
• LABELLED TRANSITION SYSTEMS
• BÜCHI AUTOMATA