Will boogie give false alarm result?

[Luweicai]

Hi, I wonder will boogie give the false alarm like, report assert(e) might not hold while infact e is true?
And what is the complete truth of the boogie analysis result? When it report that the program is verified with 0 errors. Does it means that all assert in the program must hold? When run with /errorlimit 0, does it means that boogie will report all possible not hold assert and all left assert must hold?