Paper Info
Title
Static analysis of concurrent software for deriving synchronization constraints
Abstract
A static analysis method is introduced for detecting synchronization errors. This method is to derive constraints on the feasible synchronization sequences of a concurrent program (or program module) P according to P's syntactic and semantic information. These constraints, called feasibility constraints for P, can be compared with constraints in the specification of P to detect specification-dependent errors and can be analyzed to detect specification-independent errors such as deadlock. Feasibility constraints for P can be used to improve the accuracy of existing methods for deriving approximations of the set of feasible SYN-sequences of P
Year
DOI
Venue
1991
10.1109/ICDCS.1991.148724
Arlington, TX
Keywords
Field
DocType
distributed processing,parallel programming,synchronisation,SYN-sequences,concurrent software,deadlock,feasibility constraints,semantic information,specification-dependent errors,static analysis,synchronization constraints,synchronization errors,synchronization sequences,syntactic information
Synchronization,Computer science,Deadlock,Static analysis,Semantic information,Software,Distributed computing
Conference
Citations 
PageRank 
References 
7
0.76
7
Authors
2
Name
Order
Citations
PageRank
R. H. Carver112114.91
Kuo-chung Tai21274132.89