Closed 5nizza closed 4 years ago
Lift controller spec inspired by the spec from the paper 'Synthesis of Reactive (1) Designs' by Bloem, Jobstmann, Piterman, Pnueli, Sa'ar.
More description is in the files themselves.
(if it is already in the repo, let me know, I couldn't find anything similar.)
(I post it here for the history.) lift.zip
Lift controller spec inspired by the spec from the paper 'Synthesis of Reactive (1) Designs' by Bloem, Jobstmann, Piterman, Pnueli, Sa'ar.
More description is in the files themselves.
(if it is already in the repo, let me know, I couldn't find anything similar.)
(I post it here for the history.) lift.zip