Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Formal Methods in System Design
Published in: Formal Methods in System Design 3/2021

28-02-2022

Special Issue on Syntax-Guided Synthesis Preface

Authors: Dana Fisman, Rishabh Singh, Armando Solar-Lezama

Published in: Formal Methods in System Design | Issue 3/2021

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Excerpt

Syntax-guided synthesis has emerged as a practical solution to the computationally hard problem of program synthesis. Program synthesis, dating back to [3, 5, 7] asks the problem whether it is possible to derive an executable implementation from a specification of a system given as a logical formula. The exact complexity of the problem depends on the type of the logical formalism and the corresponding type of systems and is either undecidable or of very high computational complexity. To overcome the computational hardness a thread of research works in program synthesis and program optimization emerged, in which in addition to the logical formula describing the functionality of the desired implementation, some syntactic set of constraints is given in order to limit the search space of viable solutions. Following the uniformization of these approaches into a coherent logical formalism [1, 2] this area of research is now referred to as syntax-guided synthesis. …
previous article Parameterized verification of leader/follower systems via first-order temporal logic

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now
Literature
1.
Alur R, Bodík R, Dallal E, Fisman D, Garg P, Juniwal G, Kress-Gazit H, Madhusudan P, Martin MMK, Raghothaman M, Saha S, Seshia SA, Singh R, Solar-Lezama A, Torlak E, Udupa A (2015) Syntax-guided synthesis. In: Irlbeck M, Peled DA, Pretschner A (eds) Dependable software systems engineering, vol 40. NATO science for peace and security series, D: information and communication Security. Amsterdam, IOS Press, pp 1–25
2.
Alur R, Singh R, Fisman D, Solar-Lezama A (2018) Search-based program synthesis. Commun ACM 61(12):84–93CrossRef
3.
Church Alonzo (1963) Application of recursive arithmetic to the problem of circuit synthesis. J Symbol Logic 28(4):289–290CrossRef
4.
Jeon J, Qiu X, Solar-Lezama A, Foster JS (2017) An empirical study of adaptive concretization for parallel program synthesis. Formal Methods Syst Des 50(1):75–95CrossRef
5.
Manna Z, Waldinger Richard J (1971) Toward automatic program synthesis. Commun ACM 14(3):151–165CrossRefMATH
6.
Milicevic Aleksandar, Near Joseph P, Kang Eunsuk, Jackson Daniel (2019) Alloy*: a general-purpose higher-order relational constraint solver. Formal Methods Syst Des 55(1):1–32CrossRefMATH
7.
Pnueli A, Rosner R: A framework for the synthesis of reactive modules. In: Friedrich H Vogt, editor, Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, volume 335 of Lecture Notes in Computer Science, pages 4–17 Springer, (1988)
8.
Reynolds A, Kuncak V, Tinelli C, Barrett CW, Deters Morgan (2019) Refutation-based synthesis in SMT. Formal Methods Syst Des 55(2):73–102CrossRefMATH
Metadata
Title
Special Issue on Syntax-Guided Synthesis Preface
Authors
Dana Fisman
Rishabh Singh
Armando Solar-Lezama
Publication date
28-02-2022
Publisher
Springer US
Published in
Formal Methods in System Design / Issue 3/2021
Print ISSN: 0925-9856
Electronic ISSN: 1572-8102
DOI
https://doi.org/10.1007/s10703-021-00386-0

Other articles of this Issue 3/2021

Formal Methods in System Design 3/2021 Go to the issue

OriginalPaper

Parameterized verification of leader/follower systems via first-order temporal logic

OriginalPaper

Colored nested words

OriginalPaper

Debug-localize-repair: a symbiotic construction for heap manipulations

OriginalPaper

Incremental design-space model checking via reusable reachable state approximations

Premium Partner

    Image Credits