-
Notifications
You must be signed in to change notification settings - Fork 225
Home
Peter Weidenbach edited this page Oct 13, 2017
·
9 revisions
FACT can be extended easily via plug-ins. Additionally a REST-API is available to connect external tools. Thereby almost all features of the web-interface are available via REST as well.
The following figures explain the workflow concept of FACT and should help to understand the overall concepts.
FACT initial analysis
FACT compare
As you can see, there are three types of plug-ins (orange boxes):
The following manuals explain how to write these plug-ins.