Analysis

• initial plug-in decomposition
  • integrate the essential existing code with the JPF library.
  • follow the dev_doc diagrams
• audit the decomposition every iteration
• if needed provide tools to get reports (draw diagrams, etc)