
From:  daly 
Subject:  [Axiomdeveloper] Computational Mathematics, proofs, and correctness 
Date:  Mon, 26 May 2014 14:15:25 0500 
Waldek, >The real question is how to do this. Several years ago >my student did "by hand" a proof in Hoare logic of a simple 20 >line long program. The proof is 20 pages long. The proof >is rather detailed, but he consided some facts as known >and some readers probably would ask questions demanding >more details. Was this proof published anywhere? Do you have a URL? Tim
[Prev in Thread]  Current Thread  [Next in Thread] 