Author's notes on the paper “Symbolic Bounded Synthesis”

This page contains some additional information to the paper Symbolic Bounded Synthesis by Rüdiger Ehlers.

Notes

The approach presented in the paper is implemented in the tool Unbeast.

Errata List

Due to a problem with a script for the experimental evaluation, the cases in which the Acacia tool ran out of memory are reported as timeouts in Table 2. See the slides available below for a corrected version of the table.

Slides

The slides of the talk given at CAV 2010 are available here.