B4Free

Academic tool enabling the operational use of formal Method B for proven software development.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 6 articles )

Showing results 1 to 6 of 6.
Sorted by year (citations)

  1. Leuschel, Michael; Massart, Thierry: Efficient approximate verification of B and Z models via symmetry markers (2010)
  2. Rehm, Joris: Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method (2010) ioport
  3. Cansell, Dominique; Méry, Dominique; Proch, Cyril: System-on-chip design by proof-based refinement (2009) ioport
  4. Ben Ammar, Boulbaba; Bhiri, Mohamed Tahar; Souquières, Jeanine: Incremental development of UML specifications using operation refinements (2008) ioport
  5. Cansell, Dominique; Méry, Dominique: Incremental parametric development of greedy algorithms (2007)
  6. Cansell, Dominique; Méry, Dominique: Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm (2006)