An innovative teaching tool based on semantic tableaux for verification and debugging of programs
Rafael del Vado Vírseda, Fernando Pérez Morente · 2011
In this paper, we propose a new methodology based on a logic teaching tool on semantic tableaux that has been developed to help students to use logic as a formal proof technique in advanced topics of Computer Science, such as the formal verification of algorithms and the algorithmic debugging of imperative programs.