The Free On-line Dictionary of Computing (19 January 2023):

Praxis Critical Systems

    The company that supplies SPARK.

   (2001-07-12)