Some tools I developed in the past. They are more for understanding or validating concepts - so use them with caution.
- G4LTL-ST: Generating PLC programs from formal specifications
- autoCode4: Structural reactive synthesis in Lustre programs
- GAVS+: an open platform for the research of algorithmic game solving
- MGSyn: Automatic synthesis for modular (skill-based) production systems
- JBernstein: Validity checking for generalized polynomial constraints
- EFSMT: a wrapper for solving exists-forall formulae
- VissBIP: model construction and priority synthesis for simple interaction systems
Psalms 62:7 - In God is my salvation and my glory: the rock of my strength, and my refuge, is in God.
詩篇 第六十二篇 7節 - 我的拯救、我的榮耀都在乎神；我力量的磐石、我的避難所都在乎神。