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 41 to 58 of 58.
Sorted by year (citations)
  1. Dimovski, Aleksandar; Lazić, Ranko: Compositional software verification based on game semantics and process algebra (2007) ioport
  2. Jensen, Kurt: Special section on coloured Petri nets (2007) ioport
  3. Kleiner, Eldar; Newcomb, Tom: On the decidability of the safety problem for access control policies (2007)
  4. Moffat, Nick; Goldsmith, Michael: Assumption-commitment support for CSP model checking (2007)
  5. Ruhroth, Thomas; Wehrheim, Heike: Refactoring object-oriented specifications with data and processes (2007)
  6. Wang, Xu; Kwiatkowska, Marta: On process-algebraic verification of asynchronous circuits (2007)
  7. Wang, Xu; Kwiatkowska, Marta: Compositional state space reduction using untangled actions (2007)
  8. Freitas, Leo; Woodcock, Jim; Cavalcanti, Ana: State-rich model checking (2006) ioport
  9. Freitas, Leo; Woodcock, Jim; Cavalcanti, Ana: State-rich model checking (2006) ioport
  10. 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
  11. Isobe, Yoshinao; Roggenbach, Markus: A generic theorem prover of CSP refinement (2005)
  12. Rohrmair, Gordon Thomas; Lowe, Gavin: Using data-independence in the analysis of intrusion detection systems (2005)
  13. Hopcroft, Philippa; Lowe, Gavin: Analysing a stream authentication protocol using model checking (2004) ioport
  14. Jacobs, Bart; Oostdijk, Martijn; Warnier, Martijn: Source code verification of a secure payment applet (2004)
  15. Müffke, Friedger: Process algebras as specification language (work in progress) (2003)
  16. Shibayama, Etsuya; Yonezawa, Akinori: Secure software infrastructure in the Internet age (2003) ioport
  17. Heckel, Reiko; Küster, Jochen M.: Behavioral constraints for visual models (2001)
  18. Monroy, Raúl; Bundy, Alan; Green, Ian: Planning proofs of equations in CCS (2000)