a QFLAN Editor with editing support that is typical of a modern Integrated Development Environment (IDE), developed in the XTEXT framework, and a MultiQuaTEx Editor for property specification in the MultiQuaTEx language [27]; • a set of Views, including a project explorer, a diagnosis console and a plot viewer for displaying analysis results. The components of the CORE layer are: