csp2B: A practical approach to combining CSP and B. This paper describes the tool csp2B, which provides a means of combining CSP-like descriptions with standard B specifications. The notation of CSP provides a convenient way of describing the order in which the operations of a B machine may occur. The function of the tool is to convert CSP-like specifications into standard machine-readable B specifications, which means that they may be animated and appropriate proof obligations may be generated. Use of csp2B means that abstract specifications and refinements may be specified purely using CSP or using a combination of CSP and B. The translation is justified in terms of an operational semantics.

References in zbMATH (referenced in 21 articles , 1 standard article )

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

1 2 next

  1. Salehi Fathabadi, Asieh; Butler, Michael; Rezazadeh, Abdolbaghi: Language and tool support for event refinement structures in event-B (2015) ioport
  2. Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa; Waldén, Marina: Derivation of concurrent programs by stepwise scheduling of Event-B models (2014)
  3. Schneider, Steve; Treharne, Helen; Wehrheim, Heike: The behavioural semantics of Event-B refinement (2014)
  4. Cavalcanti, Ana; Gaudel, Marie-Claude: Testing for refinement in \textsfCircus (2011)
  5. Schneider, Steve; Treharne, Helen: Changing system interfaces consistently: a new refinement strategy for CSP(|)B (2011)
  6. Lang, Frédéric; Salaün, Gwen; Hérilier, Rémi; Kramer, Jeff; Magee, Jeff: Translating FSP into LOTOS and networks of automata (2010)
  7. Fraikin, Benoît; Frappier, Marc: Efficient symbolic computation of process expressions (2009)
  8. Leuschel, Michael; Butler, Michael: Prob: An automated analysis toolset for the B method (2008) ioport
  9. Jones, Cliff B.: Understanding programming language concepts via operational semantics (2007)
  10. Rouff, Christopher A.; Hinchey, Michael G.; Truszkowski, Walter F.; Rash, James L.: Experiences applying formal approaches in the development of swarm-based space exploration systems (2006) ioport
  11. Butler, Michael; Leuschel, Michael: Combining CSP and B for specification and property verification (2005)
  12. Evans, Neil; Treharne, Helen: Investigating a file transfer protocol using CSP and B (2005) ioport
  13. Fraikin, Benoît; Frappier, Marc; Laleau, Régine: State-based versus event-based specifications for information systems: a comparison of B and EB(^3) (2005) ioport
  14. Morgan, Carroll: Of probabilistic wp and CSP -- and compositionality (2005)
  15. Schneider, Steve; Treharne, Helen: CSP theorems for communicating B machines (2005)
  16. Ferreira, Carla; Butler, Michael: Using B refinement to analyse compensating business processes (2003)
  17. Frappier, Marc; Laleau, Régine: Proving event ordering properties for information systems (2003)
  18. Bellegarde, Françoise; Julliand, Jacques; Kouchnarenko, Olga: Synchronized parallel composition of event systems in B (2002)
  19. Butler, Michael: On the use of data refinement in the development of secure communications systems (2002)
  20. Reed, J. N.; Sinclair, J. E.: Refinement-preserving plug-in components (2001)

1 2 next