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

Internals

Uses Z3.

Comments

License: MIT
Probabilistic Program repair

Links

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.