Discovery Projects - Grant ID: DP140103365

Funding Activity

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

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

automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalisms include branching time and competing coalitions of agents. This project is to take early advantage of recent breakthroughs in automated logical reasoning with such models by the investigator to deliver general practical techniques of system development and verification.

Funded Activity Details

Start Date: 01-01-2014

End Date: 31-12-2017

Funding Scheme: Discovery Projects

Funding Amount: $360,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