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
Discussions: https://discu.eu/q/https://cgi.cse.unsw.edu.au/~cs6721/2021T2/Web/Private2021/L7%2520Floyd67.pdf
#compsci
Compsci Weekly /
npub12y…mwm90
2024-09-15 13:23:01
Author Public Key
npub12yxz5pw6kxawd4wshrvzkrdzyp772te52nzdeujcdjsjxngcqulsqmwm90Published at
2024-09-15 13:23:01Event JSON
{
"id": "5d74a1152bc65d0067c1366b51a787588c845bea055e6acc0284afe320ae689e",
"pubkey": "510c2a05dab1bae6d5d0b8d82b0da2207de52f3454c4dcf2586ca1234d18073f",
"created_at": 1726406581,
"kind": 1,
"tags": [
[
"t",
"compsci"
],
[
"proxy",
"https://mastodon.social/users/compsci_discussions/statuses/113141781757467367",
"activitypub"
]
],
"content": "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?\n\nhttps://cgi.cse.unsw.edu.au/~cs6721/2021T2/Web/Private2021/L7%20Floyd67.pdf\n\nDiscussions: https://discu.eu/q/https://cgi.cse.unsw.edu.au/~cs6721/2021T2/Web/Private2021/L7%2520Floyd67.pdf\n\n#compsci",
"sig": "f49daa3d32e95d6d30c9077b074d1a55dcdc986d9dfec2280fce3a6be88305ef0fdf816bd1e48d3dd9d6c123fc6bd39ac44f609ae563123a25b699c1fdd922b3"
}