Abstract
The use of formal methods for development of safety-critical sys-tems has motivated researchers to serve them in distributed appli-cations. B method has the precision to support animation and rigorous verification, but requires significant effort in training to overcome the mathematical barrier that many practitioners perce-ive. In this paper, an overview of B method is described including definition, properties, and tools. Then, a new formal model for a library system using B is presented. This formal model can be ex-tended in distributed environments and be integrated with UML as further work.
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call