The following pages link to The B-Book (Q4208552):
Displaying 18 items.
- Linking Event-B and Concurrent Object-Oriented Programs (Q5403467) (← links)
- Experimenting Formal Proofs of Petri Nets Refinements (Q5403468) (← links)
- General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470) (← links)
- Finding Counter Examples in Induction Proofs (Q5458810) (← links)
- An Automation-Friendly Set Theory for the B Method (Q5881455) (← links)
- Discussion on: ``Formal specification method for systems automation'' (Q5971345) (← links)
- Query-driven verification of data integration in the RDF data model (Q6040358) (← links)
- An automatically verified prototype of the Android permissions system (Q6103592) (← links)
- Trace preservation in B and Event-B refinements (Q6151629) (← links)
- Verification-Led Smart Contracts (Q6166532) (← links)
- Toward a theory of program repair (Q6171820) (← links)
- Linking formal methods in software development. A reflection on the development of rCOS (Q6535826) (← links)
- Refinements for open automata (Q6550592) (← links)
- Schematic program proofs with abstract execution. Theory and applications (Q6552501) (← links)
- Bunch theory: axioms, logic, applications and model (Q6561347) (← links)
- Extending rely-guarantee thinking to handle real-time scheduling (Q6564175) (← links)
- A refinement-based formal development of cyber-physical railway signalling systems (Q6610255) (← links)
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar (Q6643469) (← links)
