TyphonML Model Analysis and Reasoning Tools

This deliverable will present algorithms and tools for reasoning about the feasibility and properties of TyphonML models, and will lay the groundwork for the transformation tools that will be presented in deliverable D3.3.