A PVS-Based Approach for Teaching Constructing Correct Iterations
暂无分享,去创建一个
Just claiming the importance of formal methods is not enough, it is necessary to teach programming using formal methods. Also, we have to convince students to use them in their programming. To fill this goal, two points seem necessary: a no-fault approach combined with (apparently) affordable proofs and the use of automatic provers.