摘要:In this synopsis, we classify the solutions to the LCCS contained in this Special Issue according to a number of criteria. Furthermore, we provide brief descriptions of the focus of each solution, the major achievements and possible shortcomings. We leave it to the reader to establish a ranking of the different approaches, taking into account that the objectives of the contributions differ from each other and influence in particular the choice of languages, methods, and tools. Therefore, the synopsis is mainly based on information received from the authors, it does not present an in_depth analysis of the solutions. Nevertheless, we hope that this synopsis supports the reader in finding the right access to this Special Issue.