Discovery Projects - Grant ID: DP0345324

Funding Activity

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

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

Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is more efficient than a traditional model checker during the design phase because it does only a minimum amount of work in its search for a fault.

Funded Activity Details

Start Date: 25-07-2003

End Date: 21-12-2006

Funding Scheme: Discovery Projects

Funding Amount: $154,640.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Mathematical Logic And Formal Languages | Software Engineering | Simulation And Modelling | Computer Software

ANZSRC Socio-Economic Objective (SEO)

Application tools and system utilities | Computer software and services not elsewhere classified |

Other Keywords

Application tools and system utilities | Computer Software | Computer software and services not elsewhere classified | Mathematical Logic And Formal Languages | Simulation And Modelling | Software Engineering

Related Links