Integration Levels

• Minimal integration:
• Declarative Tool Description
• Translation from API data to internal format
• results managed by kernel in uninterpreted form (files)
• tool API implements result display on textual basis

• done in less than one day using existing algorithm

 

• Full integration
• translation of results into existing kernel result format
• kernel can interpret results and make them available to other tools
• tool API maps back to kernel libraries for visualization

 

---