SyFCo
SyFCo is a tool for reading, manipulating and transforming synthesis specifications in TLSF.
Paper
A High-Level LTL Synthesis Format: TLSF v1.1
Swen Jacobs, Felix Klein, and Sebastian SchirmerSYNT 2016
Availability
The source code is available at github.com/reactive-systems/syfco.
The package is also available on Hackage.
Contact
Copyright © 2017 Saarland University