PV2 DIGITS: DIstribution-Guided InducTive Synthesisrepairs a given loop-free program from a probabilistic specification of its desired behaviour

An algorithm & tool for automatically repairing loop-free programs under uncertain inputs and probabilistic postconditions.

Application domain/field

Type of tool

Program repair/synthesis tool


Uses Z3.


License: MIT
Probabilistic Program repair


Related papers

Last publication date

12 July 2019

Related tools

τ-DIGITS: improved version of DIGITS.

ProVerB specific

ProVerB is a part of SLEBoK. Last updated: February 2023.