Reasoning about Action Systems using the B-Method
Formal Methods in System Design
An Execution Architecture for GSL
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Extraction of Abstraction Invariants for Data Refinement
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
csp2B: A Practical Approach to Combining CSP and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
The Composition of Event-B Models
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Modelling Divergence in Relational Concurrent Refinement
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B
Methods, Models and Tools for Fault Tolerance
Supporting Reuse of Event-B Developments through Generic Instantiation
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Decomposition tool for event-B
Software—Practice & Experience
Towards the Composition of Specifications in Event-B
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic refinement checking for b
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Rigorous design of fault-tolerant transactions for replicated database systems using event b
Rigorous Development of Complex Fault-Tolerant Systems
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Shared event composition/decomposition in event-b
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Hi-index | 0.00 |