Platform description

This section describes the basic platform services provided by PLCverif.

  • The Platform extensions subsection explains the workflow model and the platform-level support for language frontend handling and CFA reductions.
  • The Settings subsection is dedicated to the unified serialization and deserialization of job configuration.
  • The Developing plug-ins subsection describes the first steps towards developing new plug-ins.
Overview of the platform API
Figure: Overview of the platform API

results matching ""

    No results matching ""