Seed Specification Examples


Regular Expressions
Temporal Logic formulas
Process Algebra
Propositional Logic
Mathematical Expressions
First Order Fromulas
Term Rewriting Systems