Refinement types (for example) can be used to prove the code correct before even running it. Assertions typically can’t do that.