What is the fine-grained topic of the following text: The EDgAR supporting tools are introduced, which were conceived to specify systems at an high-level of abstraction, with a standard language and to allow a high degree of automation on the synthesis process. Only return the topic.
Introduction of EDgAR Supporting Tools