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 Schirmer
SYNT 2016

Availability

The source code is available at github.com/reactive-systems/syfco.

The package is also available on Hackage.

Contact

Felix Klein

Copyright © 2017 Saarland University