An Integrated Approach to the Analysis of Concurrent        Software Systems
{'Code': '05010500', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Tianay Robinson', 'PO_EMAI': 'trobinso@nsf.gov', 'PO_PHON': '7032927859'}
This project will investigate the feasibility of integrating two                different, but related approaches to validation of concurrent software          systems.  Specifically, the integration of the analysis techniques that         are associated with a particular concurrent system modeling scheme,             called constrained expressions, and certain static analysis techniques          for studying synchronization properties of concurrent systems will be           studied.  The complementary nature of the strengths and weaknesses of           these two approaches suggests that their integration will produce               techniques that surpass existing analysis techniques in both power and          practical utility.                                                                                                                                              While the theoretical limitation of general approaches to validation of         concurrent software systems are known to be quite severe, little is             known about how limiting these considerations actually are in practice.         Experience with existing concurrent system analysis techniques is               limited to "toy" systems, due to the computational complexity of the            techniques and a lack of automated support.  The demand for reliable            concurrent software requires experimenting more fully with these                techniques to determine how they "scale-up" to useful, realistically-           sized systems.
{'FirstName': 'Laura', 'LastName': 'Dillon', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Laura Dillon', 'EmailAddress': 'ldillon@cse.msu.edu', 'NSF_ID': '000698384', 'StartDate': '08/01/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of California-Santa Barbara', 'CityName': 'SANTA BARBARA', 'ZipCode': '931060001', 'PhoneNumber': '8058934188', 'StreetAddress': '3227 CHEADLE HALL', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'California', 'StateCode': 'CA', 'CONGRESSDISTRICT': '24', 'CONGRESS_DISTRICT_ORG': 'CA24', 'ORG_UEI_NUM': 'G9QBQDH39DF4', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF CALIFORNIA, SANTA BARBARA', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '288000', 'Text': 'SOFTWARE ENGINEERING AND LANGU'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8702905.xml'}