scientific article; zbMATH DE number 2172802
From MaRDI portal
Publication:4680189
Recommendations
Cited in
(22)- Integrating formal specifications into applications: the ProB Java API
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
- Bourbaki and foundations
- Proof obligations of the B formal method: Local proofs ensure global consistency
- B: Towards zero defect software
- Foundations of the MHM Method
- Elements of B-method formalization
- Soundly proving B method formulæ using typed sequent calculus
- Why Would You Trust B?
- scientific article; zbMATH DE number 3920431 (Why is no real title available?)
- Program development by refinement. Case studies using the B method
- B\(^{\#}\): Toward a synthesis between Z and B
- Introducing backward refinement into B
- Extending B with control flow breaks
- Towards dynamic population management of abstract machines in the B method
- Type synthesis in B and the translation of B to PVS
- ``Higher-order mathematics in B
- Interpreting the B-method in the refinement calculus
- GeneSyst: A tool to reason about behavioral aspects of B event specifications. Application to security properties
- scientific article; zbMATH DE number 7592786 (Why is no real title available?)
- An Automation-Friendly Set Theory for the B Method
- Verification of global and local as view data integration in an object data model
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4680189)
