"BoSy: An Experimentation Framework for Bounded Synthesis."

Peter Faymonville, Bernd Finkbeiner, Leander Tentrup (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics