BoSy
BoSy is a synthesis tool based on a various bounded synthesis encodings.
Awards
- First and second place in sequential TLSF synthesis track (SYNTCOMP 2016)
- Second and third place in sequential TLSF realizability track (SYNTCOMP 2016)
- First place (quality ranking) in sequential TLSF synthesis track (SYNTCOMP 2017)
- Third place in sequential TLSF realizability track (SYNTCOMP 2017)
Related Publications
Synthesizing Reactive Systems from Hyperproperties
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander TentrupCAV 2018
BoSy: An Experimentation Framework for Bounded Synthesis
Peter Faymonville, Bernd Finkbeiner, and Leander TentrupCAV 2017
Encodings of Bounded Synthesis
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, and Leander TentrupTACAS 2017
Availability
The source code is available at github.com/reactive-systems/bosy.
Try BoSy directly in your browser in our online interface.
Contact
Copyright © 2017-2018 Saarland University