May 23, 2004 #1 W Winston Well-known member Joined Jan 25, 2003 Messages 266 Location Sydney, Australia Can someone who knows about weakest pre-condition and loop invariants explain to me how exactly do u find them and prove them? Thanks
Can someone who knows about weakest pre-condition and loop invariants explain to me how exactly do u find them and prove them? Thanks
May 23, 2004 #2 J Joe Mamma Well-known member Joined Mar 1, 2004 Messages 1,062 Location Washington DC Winston said: Can someone who knows about weakest pre-condition and loop invariants explain to me how exactly do u find them and prove them? Thanks Click to expand... Plenty of stuff on the web about both topics. I dont think this website is the best place to ask theoretical questions. The forums here are more practical. good luck
Winston said: Can someone who knows about weakest pre-condition and loop invariants explain to me how exactly do u find them and prove them? Thanks Click to expand... Plenty of stuff on the web about both topics. I dont think this website is the best place to ask theoretical questions. The forums here are more practical. good luck