Volume 15, issue 5-6, October 2013

Synthesis

11 articles in this issue

Algorithmic program synthesis: introduction

Authors
- Rastislav Bodik
- Barbara Jobstmann
- Content type: Introduction
- Published: 27 August 2013
- Pages: 397 - 411
Abstraction-guided synthesis of synchronization

Authors
- Martin Vechev
- Eran Yahav
- Greta Yorsh
- Content type: Synthesis
- Published: 23 May 2012
- Pages: 413 - 431
Safety first: a two-stage algorithm for the synthesis of reactive systems

Authors
- Saqib Sohail
- Fabio Somenzi
- Content type: Synthesis
- Published: 03 February 2012
- Pages: 433 - 454
Functional synthesis for linear arithmetic and sets

Authors (first, second and last of 4)
- Viktor Kuncak
- Mikaël Mayer
- Philippe Suter
- Content type: Synthesis
- Published: 22 November 2011
- Pages: 455 - 474
Program sketching

Authors
- Armando Solar-Lezama
- Content type: Synthesis
- Published: 02 August 2012
- Pages: 475 - 495
Template-based program verification and program synthesis

Authors
- Saurabh Srivastava
- Sumit Gulwani
- Jeffrey S. Foster
- Content type: Synthesis
- Published: 25 January 2012
- Pages: 497 - 518
Bounded synthesis

Authors
- Bernd Finkbeiner
- Sven Schewe
- Content type: Synthesis
- Published: 07 April 2012
- Pages: 519 - 539
Exploiting structure in LTL synthesis

Authors
- Emmanuel Filiot
- Naiyong Jin
- Jean-François Raskin
- Content type: Synthesis
- Published: 24 January 2012
- Pages: 541 - 561
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies

Authors
- Robert Könighofer
- Georg Hofferek
- Roderick Bloem
- Content type: Synthesis
- Published: 16 December 2011
- Pages: 563 - 583
Synthesis of AMBA AHB from formal specification: a case study

Authors
- Yashdeep Godhal
- Krishnendu Chatterjee
- Thomas A. Henzinger
- Content type: Synthesis
- Published: 10 July 2011
- Pages: 585 - 601
Synthesis from component libraries

Authors
- Yoad Lustig
- Moshe Y. Vardi
- Content type: Synthesis
- Published: 08 June 2012
- Pages: 603 - 618

Volume 15, issue 5-6, October 2013

Synthesis

Algorithmic program synthesis: introduction

Abstraction-guided synthesis of synchronization

Safety first: a two-stage algorithm for the synthesis of reactive systems

Functional synthesis for linear arithmetic and sets

Program sketching

Template-based program verification and program synthesis

Bounded synthesis

Exploiting structure in LTL synthesis

Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies

Synthesis of AMBA AHB from formal specification: a case study

Synthesis from component libraries

For authors

Explore

Volume 15, issue 5-6, October 2013

Synthesis

Authors

Authors

Authors

Authors (first, second and last of 4)

Authors

Authors

Authors

Authors

Authors

Authors

Authors

For authors

Explore