FDR2

FDR2 is a refinement checker for establishing properties of models expressed in CSP. An unlicensed version of FDR2 is available for download, which is restricted to the example scripts supplied. Licences are available for both commercial and academic use.


References in zbMATH (referenced in 58 articles )

Showing results 21 to 40 of 58.
Sorted by year (citations)
  1. Wong, Peter Y. H.; Gibbons, Jeremy: Formalisations and applications of BPMN (2011)
  2. Derrick, John; Wehrheim, Heike: Model transformations across views (2010)
  3. Pereira, David P.; de Melo, Ana C. V.: Formalization of an architectural model for exception handling coordination based on CA action concepts (2010)
  4. Plagge, Daniel; Leuschel, Michael: Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more (2010) ioport
  5. Ramos, Rodrigo; Sampaio, Augusto; Mota, Alexandre: Conformance notions for the coordination of interaction components (2010)
  6. Colvin, Robert; Hayes, Ian J.: CSP with hierarchical state (2009)
  7. Falcão, Flávia; Iyoda, Juliano; Sampaio, Augusto: Multiple synchrony in MSC (2009)
  8. Fraikin, Benoît; Frappier, Marc: Efficient symbolic computation of process expressions (2009)
  9. Freitas, Leo; Woodcock, Jim: FDR explorer (2009)
  10. Howells, Paul; d’Inverno, Mark: A CSP model with flexible parallel termination semantics (2009)
  11. Murray, Toby; Lowe, Gavin: On refinement-closed security properties and nondeterministic compositions (2009)
  12. Parisaca Vargas, Abigail; Garis, Ana G.; Tapia Tarifa, S. Lizeth; George, Chris: Model checking LTL formulae in RAISE with FDR (2009)
  13. Roscoe, A. W.: Revivals, stuckness and the hierarchy of CSP models (2009)
  14. Wehrheim, Heike; Wonisch, Daniel: Compositional CSP traces refinement checking (2009)
  15. Wong, Peter Y. H.; Gibbons, Jeremy: Property specifications for workflow modelling (2009)
  16. Wong, Peter Y. H.; Gibbons, Jeremy: A relative timed semantics for BPMN (2009)
  17. Evans, Neil; Treharne, Helen; Laleau, Régine; Frappier, Marc: Applying CSP || B to information systems (2008) ioport
  18. Leuschel, Michael; Butler, Michael: Prob: An automated analysis toolset for the B method (2008) ioport
  19. Möller, Michael; Olderog, Ernst-Rüdiger; Rasch, Holger; Wehrheim, Heike: Integrating a formal method into a software engineering process with UML and Java (2008)
  20. Derrick, John; Wehrheim, Heike: On using data abstractions for model checking refinements (2007)