Symbolic Bounded Synthesis – Author’s notes

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

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 (with some minor changes).