Tools for analysing and supporting the platform specification.