Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
3
Program languages
18
Licenses
1
1-1 of 1
Logo for Artifact of Knor: reactive synthesis using Oink

Artifact of Knor: reactive synthesis using Oink

Artifact of Knor: reactive synthesis using Oink

  • binary decision diagrams
  • parity games
  • reactive synthesis
  • Other
  • C
  • HTML
  • + 15
1
0