Fraunhofer-Gesellschaft

Publica

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
pp.261-265
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) <7, 2016, Corfu>
English
Conference Paper
Fraunhofer ISST ()

Abstract
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.

: http://publica.fraunhofer.de/documents/N-589665.html