BoSy

BoSy is a synthesis tool based on a various bounded synthesis encodings.

Awards

Related Publications

BoSy: An Experimentation Framework for Bounded Synthesis

Peter Faymonville, Bernd Finkbeiner, and Leander Tentrup.
CAV 2017, to appear.

Encodings of Bounded Synthesis

Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, and Leander Tentrup.
TACAS 2017.

Availability

The source code is available at github.com/reactive-systems/bosy.

Try BoSy directly in your browser in our online interface.

Contact

Peter Faymonville, Leander Tentrup

Copyright © 2017 Saarland University