The person who took notes on this PDF file says 'backwards reasoning' (a la Hoare, start proof from the weakest postcondition) is better than 'forward reasoning' (a la Floyd, this paper, start proof from the strongest precondition) --- where can I find examples of people doing either, or both? - discu.eu

Reddit

The person who took notes on this PDF file says 'backwards reasoning' (a la Hoare, start proof from the weakest postcondition) is better than 'forward reasoning' (a la Floyd, this paper, start proof from the strongest precondition) --- where can I find examples of people doing either, or both? https://cgi.cse.unsw.edu.au/~cs6721/2021T2/Web/Private2021/L7%20Floyd67.pdf 11 comments 14/9/2024 compsci

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:cgi.cse.unsw.edu.au

Search title: The person who took notes on this PDF file says 'backwards reasoning' (a la Hoare, start proof from the weakest postcondition) is better than 'forward reasoning' (a la Floyd, this paper, start proof from the strongest precondition) --- where can I find examples of people doing either, or both?

See how to search.

Submit link to: