The mathematics that programming -- program verification -- requires is unlike traditional mathematics. All programmers do this; all programmers will go throug

The mathematics that programming -- program verification -- requires is unlike traditional mathematics. All programmers do this; all programmers will go through a process to reason why his programs are correct. This process might be formal or informal, conscious or subconscious, through or incomplete. The most relevant branch of mathematics would be formal logics.