Linkage Projects - Grant ID: LP0347878

Funding Activity

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

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

Integrating Model Checking and Knowledge Dynamics for System Verification. The task of system verification is to ensure the correctness of system design and specification in some automatic way. The aim of this project is to develop a new methodology and technology for computer software system verification by integrating traditional model checking approach and knowledge dynamics modeling. By deriving the results of this project, we will understand how model checking and knowledge dynamics modeling can be integrated for more effective software verification and modification, which will significantly improve current software design and development procedures, increase the correctness and stability of software systems, and provide high security for e-Commerce transaction systems.

Funded Activity Details

Start Date: 14-02-2003

End Date: 13-02-2006

Funding Scheme: Linkage Projects

Funding Amount: $69,099.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Mathematical Logic And Formal Languages | Software Engineering | Expert Systems | Artificial Intelligence and Image Processing

ANZSRC Socio-Economic Objective (SEO)

Computer software and services not elsewhere classified |

Other Keywords

Artificial Intelligence and Image Processing | Computer software and services not elsewhere classified | Expert Systems | Mathematical Logic And Formal Languages | Software Engineering

Related Links