Spectra Synthesizer

Public repositories for the Spectra Synthesizer project of the Software Modeling Lab, Tel Aviv University

Tel Aviv University

Pinned Repositories

spectra-cli
Spectra Synthesizer command line interface
Language:Java10
spectra-cudd
Modified version of the CUDD library
Language:C00
spectra-executor
Executor of synthesized controllers
Language:HTML10
spectra-ext
Spectra Synthesizer Extensions
Language:Java31
spectra-lang
Spectra Specification Language
Language:Java1 2 02
spectra-sim
Examples of simulations using Spectra synthesized controllers
Language:Java00
spectra-specs
Spectra Specifications Examples
Language:Perl20
spectra-synt
Spectra Synthesizer
Language:Java6 3 23

Spectra Synthesizer's Repositories

SpectraSynthesizer/spectra-synt
Spectra Synthesizer
Language:Java6 3 23
SpectraSynthesizer/spectra-ext
Spectra Synthesizer Extensions
Language:Java31
SpectraSynthesizer/spectra-specs
Spectra Specifications Examples
Language:Perl20
SpectraSynthesizer/spectra-cli
Spectra Synthesizer command line interface
Language:Java10
SpectraSynthesizer/spectra-executor
Executor of synthesized controllers
Language:HTML10
SpectraSynthesizer/spectra-lang
Spectra Specification Language
Language:Java1 2 02
SpectraSynthesizer/spectra-cudd
Modified version of the CUDD library
Language:C00
SpectraSynthesizer/spectra-sim
Examples of simulations using Spectra synthesized controllers
Language:Java00