Skip to Main Content
Notice of Retraction
After careful and considered review of the content of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE's Publication Principles.
We hereby retract the content of this paper. Reasonable effort should be made to remove all past references to this paper.
The presenting author of this paper has the option to appeal this decision by contacting TPII@ieee.org.
This paper presents the results in the area of Computer Science and Formal Methods Education. The result was an effort to study the formal method software tools into computer science student curriculum. Our purposes were to pioneer an innovative methodology that will increase the learning experience by introducing the use of mechanized approaches in teaching formal methods and to demonstrate the potential of graduate students for learning formal analysis techniques, by using these software tools. This methodology depends on the traditional teaching models and adds the use of automated software tools to enhance the student's learning experience. The result demonstrated increased student performance and understanding of difficult concepts in formal software analysis and design problems with the use of mechanized assistants.