Discovery Projects - Grant ID: DP0345664

Funding Activity

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

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

Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop formally based interoperability between the PVS and Maude systems, two widely used computer tools for reasoning about complex systems.

Funded Activity Details

Start Date: 28-06-2003

End Date: 30-05-2004

Funding Scheme: Discovery Projects

Funding Amount: $31,500.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Logics And Meanings Of Programs | Programming Techniques | Software Engineering | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Application tools and system utilities | Application packages | Mathematical sciences |

Other Keywords

Application packages | Application tools and system utilities | Computation Theory and Mathematics | Logics And Meanings Of Programs | Mathematical sciences | Programming Techniques | Software Engineering

Related Links