Reactive Systems Group

icon indicating a website link https://finkbeiner.groups.cispa.de/

icon location CISPA Helmholtz Center for Information Security

Results 1 repositories owned by Reactive Systems Group

bosy

18
Stars
11
Forks
Watchers

BoSy is a reactive synthesis tool based on constraint-solving

verified publisher icon reactive-systems