BoSy
From MaRDI portal
Software:5974888
No author found.
Source code repository: https://github.com/reactive-systems/bosy
Related Items (8)
Linear temporal logic -- from infinite to finite horizon ⋮ Live synthesis ⋮ Compositional synthesis of modular systems ⋮ Clausal abstraction for DQBF ⋮ Unnamed Item ⋮ Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis ⋮ Practical synthesis of reactive systems from LTL specifications via parity games ⋮ Synthesis from hyperproperties
This page was built for software: BoSy
