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.


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.


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