Assertions, pre and post conditions,invariants, strong typing, lots of self checking features, design by contract. Features to make it easier to write correct programs.