Estimating the maximum rise in temperature according to climate models using abstract interpretation

DOI10.2478/ausi-2019-0001zbMath1477.68167OpenAlexW2969859706WikidataQ114124394 ScholiaQ114124394MaRDI QIDQ2283722

Robert J. Woodward, Peter Z. Revesz

Publication date: 13 January 2020

Published in: Acta Universitatis Sapientiae. Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/ausi-2019-0001

zbMATH Keywords

invariantconstraint databaseDatalogsoftware verificationclimate modelMLPQ system

Mathematics Subject Classification ID

Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Climate science and climate modeling (86A08)

Uses Software

• ESMF
• CDB-PV

Cites Work

• A closed-form evaluation for Datalog queries with integer (gap)-order constraints
• Introduction to databases. From biological to spatio-temporal
• The Constraint Database Approach to Software Verification
• Introduction to constraint databases

This page was built for publication: Estimating the maximum rise in temperature according to climate models using abstract interpretation