The 'Resource Reasoning' platform research grant ended in June 2016. This website is now in archival state.
This website describes research activity between 2009 and 2016 in the southeast of England – at Imperial, Microsoft Research Cambridge, Oxford, Queen Mary and UCL – on local reasoning about resources.
It arose from work on various forms of separation logic and its associated automatic verification tools.
The ongoing project is to develop an elegant theory (or theories) of resource reasoning that meshes with programmers’ informal intuitions and leads to tractable analysis and verification techniques for a range of problem domains such as classic operating systems, the evolving world of web software and concurrent programming.
The research activity was underpinned by an EPSRC Programme Grant, ‘Resource Reasoning’, and also other grants, fellowships and industrial collaborations (see Support & Connections).