Formale Methoden - Fixpunkte

[Määx]

Hey zusammen,
ich arbeite zur Zeit an der Vorlesung "Formale Methoden für ES". Leider habe ich ein Problem bei dem ganzen Fixpunktberechnungszeugs! Und zwar: was ist den jetzt genau der Unterschied zwischen MFP (Maximmal Fixed Point), MOP (Meet over all Paths), MVP (Meet over Valid Paths). Unterschied zwischen MOP und MVP ist ja nur, dass ungültige Pfade gestrichen werden ne?
Aber was ist der Unterschied zwischen MFP und MOP. Wann wird was verwendet?
Vielen Dank für eure Hilfe
Määx