Skip to menu
Skip to content
Skip to footer
Menu
Study
Research
Partners and community
About
Search
About
Strategic initiatives and projects
Strategic initiatives and projects
Office of 2032 Games Engagement
Office of 2032 Games Engagement
Strategy and governance
Our impact
Our experts
Our experts
Sport, health and inclusion
A better future for our environment
Economy of the future
Connecting people and places
The Queensland Commitment
University projects
University projects
Avalon Theatre restoration
Student residence complex
Governance and organisational structure
Governance and organisational structure
Chancellor
Chancellor
Speeches and articles by the Chancellor
Speeches and articles by the Chancellor
A Contested Asia: What comes after US strategic predominance?
AUKUS is a good plan B for China. But let’s not bring on Cold War 2.0
Advance Connect | Digital Roundtable with Peter Varghese AO
Asialink Cambodia Conference 2021
Asialink Korea Dialogue 2021
Asialink Leadership Program 2021
Australia Bringing India Into Strategic, Economic 1st Tier | StratNews Global interview
Australia India China Business Forum
Australia and India: Building a Partnership
Australia, India and the Region: Perth USAsia Centre Public Lecture
Australian Governance Institute conference: workforce and productivity
Australian Institute of International Affairs (AIIA) National Conference
Australian Universities and China
Australian universities and China
Chancellor’s address to staff
China seeks client states not ideological conquests | Opinion – The Australian Financial Review
Edward 'Weary' Dunlop Lecture and Dinner
Engage & constrain or decouple from China is the Joe Biden question: Peter Varghese & Raja Mohan
Families Week Breakfast
Function in honour of Dr S. Jaishankar, Indian Minister of External Affairs
How best to manage our relationship with Beijing
India and the world: An Australian Perspective
Indian Ocean Conference, Symbiosis University
Introductory remarks: 2023 China Matters Oration
Is Australia in the dark about its most powerful neighbours?
Launch of 'Leadership through Disruption' by Andrew Liveris AO
Partnerships and Quality: A Chancellor’s Perspective
Regional cooperation: Harder but no less vital
Remarks on receiving the Weary Dunlop Medal
Research for Development Impact Conference 2021
The Indo Pacific and its strategic challenges: An Australian Perspective
The Michael Cameron Fund: 31 years of supporting Down syndrome research
The Quad yet to face consequences of China’s economic growth
The international outlook and what it means for Australia
What should Australia do to manage risk in its relationship with the PRC?
Why engaging Asia matters even more
Vice-Chancellor and President
Vice-Chancellor and President
Speeches and articles by the Vice-Chancellor and President
Speeches and articles by the Vice-Chancellor and President
Celebrating Emeritus Professor Ian Frazer AC
Critical minerals, collaboration and training: The role of universities in mining’s global future
Promoting a ‘Fair Go’: Making equitable access to a university education a national imperative
Promoting a ‘fair go’: Making equitable access to a university education a national imperative
30th anniversary of the WH Bryan Mining Geology Research Centre
Announcing UQ’s Dutton Park Campus
CEDA State of the State, Brisbane
Celebrating 15 years of the UQ Centre for Clinical Research (UQCCR)
Celebrating 90 years of the Institute of Modern Languages at UQ
Courage and confidence
Dorothy Hill Women in Earth and Environmental Sciences Symposium
Facts, evidence and discovery: The vital role of our universities in pandemic recovery
From partnerships to prosperity
Investing in university research an investment in the national economy
Launch of UQ history book: ‘The University of Queensland 1910–1960: An essay towards a history’
Let's dare to be wise: Evidence and expertise are our best defence against future terrors
Opening of Kev Carmody House
Opening of the Andrew N Liveris Building
Opening of the HEDx ‘Future Solutions for Higher Education’ conference
Re-opening of the Avalon Theatre
Showcasing the UQ–Mater partnership
Stepping up for the innovation tango
Strengthening Australia’s innovation ecosystem
Universities shine in the contest of ideas
Women Creating Change – the next 50 years
Senior Executive Team
Senior Executive Team
Provost
Chief Operating Officer
Deputy Vice-Chancellor (Academic)
Deputy Vice-Chancellor (Global Engagement)
Deputy Vice-Chancellor (Indigenous Engagement)
Deputy Vice-Chancellor (Research and Innovation)
Faculties, schools, institutes and centres
Faculties, schools, institutes and centres
Business, Economics and Law
Engineering, Architecture and Information Technology
Health, Medicine and Behavioural Sciences
Health, Medicine and Behavioural Sciences
About
About
Our leaders
Schools, institutes and centres
Health clinics
Contact
Research
Research
Research partnerships
Higher degrees by research
Volunteer for a research study
Study
Study
Current students
Partners and community
Partners and community
Partnerships
Partnerships
Student placement partnerships
Research partnerships
Alumni
Indigenous engagement
Academic Title Holders
Giving and philanthropy
Health clinics
Marks-Hirschfeld Museum of Medical History
Event spaces
Get involved
Get involved
Volunteer for a research study
Simulated Patient Program
News and events
Humanities, Arts and Social Sciences
Science
Learning, teaching and student experience
UQ Experts
Academic calendar
Reconciliation at UQ
Reconciliation at UQ
UQ Stretch RAP
UQ Stretch RAP
Pillar 1 – Relationships
Pillar 2 – Respect
Pillar 3 – Opportunities
Pillar 4 – Governance
UQ's Reconciliation Journey
Careers at UQ
Careers at UQ
Why work at UQ
Recruitment process
Recruitment process
Relocating to Queensland
Equity, diversity and inclusion
Log in to application portal
Study
Research
Partners and community
About
UQ home
News
Events
Give
Contact
Search term
UQ home
News
Events
Give
Contact
UQ home
About
UQ Experts
Using decomposition and abstraction to support automatic reasoning about complex combined software and hardware systems.
Using decomposition and abstraction to support automatic reasoning about complex combined software and hardware systems. (2002)
Experts
Associate Professor Graeme Smith
Associate Professor
School of Electrical Engineering and Computer Science
Faculty of Engineering, Architecture and Information Technology
Graeme Smith
Emeritus Professor Ian Hayes
Emeritus Professor
School of Electrical Engineering and Computer Science
Faculty of Engineering, Architecture and Information Technology
Ian Hayes
