Can you please explain the part in bold?

Sequential programs that are not subject to divergence (i.e., endless loops) have a terminal state, a state any outgoing transitions.
Principles of Model Checking

Tara2Can you please explain the part in bold?

Most of the explanation is right there in the text.
"i.e." means "that is", which means "Here's another word that means the same thing".

So divergence (i.e., endless loops) = "divergence" means "endless loops".

"subject to" means "This is likely to happen".

It's a pretty strange sentence, in a way. It says

Programs that don't keep running forever are programs that will stop.

And we all know that already, don't we? Emotion: smile



Yes, we know. Emotion: smile

Many thanks dear CJ!!!