Communicating sequential processes
Communicating sequential processes
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The Z notation: a reference manual
The Z notation: a reference manual
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
IEEE Transactions on Software Engineering
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Météor: A Successful Application of B in a Large Project
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Limitations of Formal Methods and an Approach to Improvement
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
The certification of the Mondex electronic purse to ITSEC Level E6
Formal Aspects of Computing
Linking Event-B and Concurrent Object-Oriented Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Realising the benefits of formal methods
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Using b as a high level programming language in an industrial project: roissy VAL
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
| Hi-index | 0.00 |
Formal methods are mathematical techniques, which allowa software developer to develop a computer system that ismore complete, consistent and unambiguous. They provide a mathematical structure within which, a systematic manner is used to specify, develop and verify a system. Bugs mayarise as a result of incongruous requirements or due tohuman errors in design and coding. Formal methods can be a silver bullet for software industry for solving these problems. Z notation and B-method are two formalspecification languages which are used by the industrynow-a-days. In this paper we tried to enlighten these formalspecification languages by providing a comparison between these two.