A number of plug-in verification components are being developed by the
PROSPER project and by third parties. Some of these
work by adding the PROSPER Integration Interface to
the verification component. This is the recommended approach to building
a PROSPER plugin. However, where access to the source
code of the component is not available, other means have been used to
construct a plugin. In both cases the plugin appears to a proof engine as
an Application Programming Interface (API).
Except where otherwise stated,
contact Glasgow for
details of the existing plugins.