Program reliability through algorithmic design and analysis