Key points are not available for this paper at this time.
The initial starting point of each design process usually is given by means of a textual specification provided in a natural language. However, the process of creating an accurate and complete formal representation has always been a bottleneck in the design. Manually generating such a formal description from the specification is expensive, requires significant time, and a large number of well-trained design and verification engineers. Usually, only humans with expert design knowledge are assumed to have the ability to properly interpret the respective specification documents.
Drechsler et al. (Thu,) studied this question.