Re: [isabelle] IMP Program


How about the bisection method to compute sqrt(x).
Perhaps extend IMP with multiplication/division first.


On Fr, 2014-11-07 at 16:17 +0100, mahmoud abdelazim wrote:
> Hi,
> I need an interesting IMP program  to prove it correct using  Hoare logic  in Isabelle.
> And this program must be interesting and non so complicated  because i need it for my essay and i don’t have so much i have around  one month left .
> If any one can provide with an idea or something i will be grateful 
> Thanks

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.