Systematik wfmA

Beispiele benutzten lineare Funkt. über $\mathbb {N}$ . Erweiterungen:

• Polynome über $\mathbb {N}$
• lineare Funktionen (Matrizen) über $\mathbb {N}$^d
• ...über anderen Halbringen, wie ({ - ∞}∪$\mathbb {N}$, max, +)

für jedes solche Klasse von Algebren möchte man lösen:

das Verifikations-Problem:

• Monotonie, Kompatibilität mit R

das Synthese-Problem:

• gegeben R , gesucht R -kompatible wfmA

  (z.B. Lösen des Constraint-Systems für Koeffizienten)

siehe http://www.termination-portal.org/