Modular Synthesis of Sketches Using Models

DOI10.1007/978-3-642-54013-4_22zbMath1428.68190OpenAlexW1545506277MaRDI QIDQ2938080

Armando Solar-Lezama, Rebecca Krosnick, Rishabh Singh, Zhilei Xu, Rohit Singh

Publication date: 13 January 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1721.1/91156

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Bootstrapping library-based synthesis

Uses Software

• Dafny

This page was built for publication: Modular Synthesis of Sketches Using Models