A Framework for the Automation of Generalised Stability Theory