Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction

: Düdder, B.; Heineman, G.T.; Rehof, J.


Margaria-Steffen, T.:
Leveraging applications of formal methods, verification and validation, ISoLA 2016. Pt.1: Foundational techniques
Cham: Springer, 2016 (Lecture Notes in Computer Science 9952)
ISBN: 978-3-319-47165-5
ISBN: 978-3-319-47166-2
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) <7, 2016, Corfu>
Conference Paper
Fraunhofer ISST ()

It is an old and beautiful dream of computer science to synthesize software applications from specifications. The beginning can be traced back to, at least, to 1957 (Summer Institute of Symbolic Logic, Cornell 1957) when Alonzo Church proposed to consider the problem of automatically constructing a finite-state procedure implementing a given input/output relation over infinite bitstreams specified as a logical formula. The problem, since then widely known as "Church’s Problem", gave rise to a major branch of theoretical computer science which has been concerned with many different forms of synthesis.