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).