Communicating sequential processes
Communicating sequential processes
Systematic software development using VDM
Systematic software development using VDM
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
The B Language and Method: A Guide to Practical Formal Development
The B Language and Method: A Guide to Practical Formal Development
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Formal development of NoC systems in B
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
Proposing a Formal Method to Reduce RTS Logical Model Complexity
ITNG '08 Proceedings of the Fifth International Conference on Information Technology: New Generations
UML-B and Event-B: an integration of languages and tools
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Chunks: component verification in CSP ∥ b
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Development of fault tolerant grid applications using distributed b
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Hi-index | 0.00 |
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.