Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems [ 2002-01-01 - 2004-12-31 ]

Research Grant

Researchers: Dr Charles Lakos (Chief Investigator) ,  Prof Jonathan Billington (Chief Investigator) ,  Prof Kurt Jensen (Partner Investigator)

Brief description Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. The reduction techniques will be implemented and evaluated using important transaction protocols for electronic commerce and internet enabled wireless communications. The technique will also be applied to so called 'object-oriented' modelling languages.

Funding Amount $179,112

Funding Scheme Discovery Projects

View this grant in the ARC Data Portal