Analysis of Three Formal Methods-Z, B and VDM

Analysis of Three Formal Methods-Z, B and VDM
Authors : Dr.(Mrs.) Arvinder Kaur, Ms.Samridhi Gulati, Ms. Sarita Singh
Publication Date: 01-07-2012


Author(s):  Dr.(Mrs.) Arvinder Kaur, Ms.Samridhi Gulati, Ms. Sarita Singh

Published in:   International Journal of Engineering Research & Technology

License:  This work is licensed under a Creative Commons Attribution 4.0 International License.

Website: www.ijert.org

Volume/Issue:   Vol.1 - Issue 4 (June- 2012)

e-ISSN:   2278-0181


Formal methods provide a much needed solid software engineering foundation for the °∆art°« of programming computers. Formal specifications can be used to provide an unambiguous and consistent supplement to natural language descriptions and can be rigorously validated and verified leading to the early detection of specification errors. Most of the software is delivered with some bugs, with lack of complete functionality and sometimes with cost overrun. Formal methods can be a silver bullet for software industry for solving these problems. This paper compares and contrasts the strengths and weaknesses of the model oriented formal specification languages such as Z, B and Vienna Development Method (VDM) basis of various factors.


Number of Citations for this article:  Data not Available


Key Word(s):    


Number of Downloads:     2445

Call for Papers - May - 2017



                 Call for Thesis - 2017 

     Publish your Ph.D/Master's Thesis Online

              Publish Ph.D Master Thesis Online as Book