BoSy

MaRDI QIDQ5974888swMATHFDO

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

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

Cited in

(17)

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

This page was built for software: BoSy