SparkSure is an independent consultacy offering services in the production of high-integrity Ada. See About us for who we are and Our services for details of what we offer.

Contact details are here.

We have a couple of tools that help with using the proof features of the Spark toolset. Details of these tools and a link to the download page are on the Spark Proof Tools page.