Linkage - International - Grant ID: LX0242359

Funding Activity

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

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

Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely used in industry to verify the correctness of large digital circuits using a technique called model-checking. Such discrete systems move from one state to another according to the regular ticks of a clock. The challenge now is to find tractable methods for reasoning about real-time systems and hybrid systems that move in a continuous manner with respect to time: examples include aeroplanes flying according to the laws of physics and a moving robot arm. We shall invent new logics which are specifically tailored for tractable reasoning about real-time and hybrid systems.

Funded Activity Details

Start Date: 01-05-2002

End Date: 30-04-2003

Funding Scheme: Linkage - International

Funding Amount: $11,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Mathematical Logic And Formal Languages | Logics And Meanings Of Programs | Analysis Of Algorithms And Complexity | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Computer software and services not elsewhere classified | Mathematical sciences |

Other Keywords

Analysis Of Algorithms And Complexity | Computation Theory and Mathematics | Computer software and services not elsewhere classified | Logics And Meanings Of Programs | Mathematical Logic And Formal Languages | Mathematical sciences

Related Links