He must be tired.

Literal

He [topic-は] tired [must be-に違いないよ].

~に違いない expresses strong inference: 'must be, no doubt.' よ adds assertion. The speaker is confident about their judgment.