Architecture

This chapter discusses the architecture of PLCverif.

Platform and metamodels. PLCverif is a platform for (PLC) program analysis, mainly for formal verification, but also for testing and static analysis. It provides:

Core library. Besides the platform definition, PLCverif contains a library of core functionalities. This includes built-in jobs (verification job), and verification backends, CFA reductions and verification reporters for the verification job. The core libraries are discussed in the next chapter.

results matching ""

    No results matching ""