Email Gateway (Aug 19 2022 at 16:36): Email Gateway (Aug 19 2022 at 16:36):From: mahmoud abdelazim <m.abdelazim@icloud.com>
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
Email Gateway (Aug 19 2022 at 16:36):From: Peter Lammich <lammich@in.tum.de>
Hi
How about the bisection method to compute sqrt(x).
Perhaps extend IMP with multiplication/division first.
Last updated: Nov 21 2024 at 12:39 UTC