PV2 Concordgiven a domain-specific language and specification, it synthesises a program that satisfies the specification

Application domain/field

Program synthesis

Type of tool

Program synthesis

Expected input

Expected output

A program that satisfies the specification

Internals

Synthesis algorithm based on reinforcement learning tightly coupled with statistical and deductive reasoning. It focuses on syntax-guided synthesis: given a domain-specific language (DSL) and a specification, they try to find a program that satisfies the specification. Uses Z3.
Synthesis

Related papers

https://doi.org/10.1007/978-3-030-53291-8_30

Last publication date

14 July 2020

Related tools

Compared to Neo and DeepCoder.

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.