Discovery Projects - Grant ID: DP0210524

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/API/grants/DP0210524

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

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.

Funded Activity Details

Start Date: 2002

End Date: 12-2004

Funding Scheme: Discovery Projects

Funding Amount: $179,112.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Computation Theory And Mathematics Not Elsewhere Classified | Information Systems Development Methodologies | Computation Theory and Mathematics | Computer Communications Networks

ANZSRC Socio-Economic Objective (SEO)

Telecommunications | Combined operations |

Related Links