Discovery Projects - Grant ID: DP110104669

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP110104669

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

Automation of metric temporal reasoning. A major contemporary engineering concern is to ensure the predictable and robust operation of computer systems involving software, hardware, and human users. The need for systematic and careful construction of such systems requires the development of formal methods based on a dense view of time rather than the traditional step-by-step models.

Funded Activity Details

Start Date: 01-01-2011

End Date: 31-12-2014

Funding Scheme: Discovery Projects

Funding Amount: $255,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Analysis of Algorithms and Complexity | Software Engineering | Computational Logic and Formal Languages | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Computer Software and Services not elsewhere classified |

Other Keywords

Analysis of Algorithms and Complexity | Computation Theory and Mathematics | Computational Logic and Formal Languages | Computer Software and Services not elsewhere classified | Software Engineering

Related Links