Formal methods: Importance, experience, and comparative analysis
Hazem El-Gendy, Nabil El Kadhi · Journal of Computational Methods in Sciences and Engineering · 2005
In this paper, we investigate the use of formal methods in the various phases of the life-cycle of developing communications protocols, software, and distributed systems. We identify important reasons and benefits for using formal methods. We also re