'En sistemes de programari de missió crítica, on el rendiment impecable és absolutament necessari, mètodes formals poden ser utilitzats per assegurar el correcte funcionament d'un sistema.'
'En sistemes de programari lliure de missions on el rendiment crític és absolutament necessari, mètodes formals es poden utilitzar per assegurar el correcte funcionament d'un sistema.'