Symbolic Bounded Synthesis – Author’s notes
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.
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 (with some minor changes).