Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
1204 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 17, NO. 11, NOVEMBER 1991 Automated Analysis of Concurrent Systems
 

Summary: 1204 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 17, NO. 11, NOVEMBER 1991
Automated Analysis of Concurrent Systems
With the Constrained Expression Toolset
George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Member, ZEEE,
and Jack C. Wileden, Member, IEEE
Abstract- The constrained expression approach to analysis
of concurrent software systems has several attractive features,
including the facts that it can be used with a variety of de-
sign and programming languages and that it does not require
a complete enumeration of the set of reachable states of the
concurrent system. This paper reports on the construction of
a toolset automating the main constrained expression analysis
techniques and the results of experiments with that toolset. The
toolset is capable of carrying out completely automated analyses
of a variety of concurrent systems, starting from source code
in an Ada-like design language and producing system traces
displaying the properties represented by the analyst's queries.
It has been successfully used with designs that involve hundreds
of concurrent processes.
Index Terms- Concurrent systems, automated analysis, anal-

  

Source: Avrunin, George S. - Department of Mathematics and Statistics, University of Massachusetts at Amherst

 

Collections: Mathematics