BoSy

MaRDI QIDQ5974888swMATHFDO

Official website https://arxiv.org/abs/1803.09566

Source code repository https://github.com/reactive-systems/bosy

Cited in

(17)

• scientific article; zbMATH DE number 7455737 (Why is no real title available?)
• Practical synthesis of reactive systems from LTL specifications via parity games
• Clausal abstraction for DQBF
• Live synthesis
• SPOT
• JTLV
• QUASY
• RATSY
• Semantic labelling and learning for parity game solving in LTL synthesis
• Acacia+
• Strix
• Linear temporal logic -- from infinite to finite horizon
• Synthesis from hyperproperties
• Oink
• Compositional synthesis of modular systems
• Unbeast
• Owl

This page was built for software: BoSy