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 1 to 20 of 58.
Sorted by year (citations)

1 2 3 next

  1. Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe: On the diversity of asynchronous communication (2016)
  2. Oliveira, Marcel V. M.; Antonino, P.; Ramos, R.; Sampaio, A.; Mota, A.; Roscoe, A. W.: Rigorous development of component-based systems using component metadata and patterns (2016)
  3. Vekris, Dimitris; Lang, Frédéric; Dima, Catalin; Mateescu, Radu: Verification of (\mathrmEB^3) specifications using CADP (2016)
  4. Al-Humaimeedy, Abeer S.; Fernández, Maribel: Enabling synchronous and asynchronous communications in CSP for SOC (2015)
  5. Garavel, Hubert: Revisiting sequential composition in process calculi (2015)
  6. Li, Dan; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker: Automated transformations from UML behavior models to contracts (2014) ioport
  7. Li, Liyi; Gunter, Elsa; Mansky, William: Symbolic analysis tools for CSP (2014)
  8. Moran, Murat; Heather, James; Schneider, Steve: Verifying anonymity in voting systems using CSP (2014) ioport
  9. Nogueira, Sidney; Sampaio, Augusto; Mota, Alexandre: Test generation from state based use case models (2014)
  10. Schneider, Steve; Treharne, Helen; Wehrheim, Heike: The behavioural semantics of Event-B refinement (2014)
  11. Howells, Paul; d’Inverno, Mark: Specifying termination in CSP (2013)
  12. Murray, Toby: On the limits of refinement-testing for model-checking CSP (2013)
  13. van der Meyden, Ron; Zhang, Chenyi: Information flow in systems with schedulers. II: Refinement (2013)
  14. Woodcock, Jim; Bandur, Victor: Unifying theories of undefinedness in UTP (2013)
  15. Cong, Jason; Gururaj, Karthik; Zhang, Peng; Zou, Yi: Task-level data model for hardware synthesis based on concurrent collections (2012) ioport
  16. Palikareva, Hristina; Ouaknine, Joël; Roscoe, A. W.: SAT-solving in CSP trace refinement (2012)
  17. Papanikolaou, Nikolaos; Creese, Sadie; Goldsmith, Michael: Refinement checking for privacy policies (2012)
  18. Kleine, Moritz; Sanders, J. W.: Simulating truly concurrent CSP (2011)
  19. Leuschel, Michael; Bendisposto, Jens: Directed model checking for B: an evaluation and new techniques (2011)
  20. Wong, Peter Y. H.; Gibbons, Jeremy: Formalisations and applications of BPMN (2011)

1 2 3 next