Previous versions

AIST and Swansea University
last updated 2023.08.03
[ Isobe > CSP-Prover > Previous versions ]

2009-2010

You can download CSP-Prover:
  • "User Guide CSP-Prover Ver.5.0":
             Download [User-Guide-5-0.pdf] (273KB) (last modified: 23/07/2009)


2007-2009

You can download CSP-Prover:
  • "User Guide CSP-Prover Ver.4.0":
             Download [User-Guide-4-0.pdf] (270KB) (last modified: 19/11/2007) or
             Download [User-Guide-4-0.ps]  (664KB) (last modified: 19/11/2007)
             (correction history)


2006-2007

You can download CSP-Prover:
  • Source Package: (requires Isabelle2005)

    • Download [CSP-Prover-3-0.tar.gz] (207KB) (10/05/2006--)

    • Unpack it, e.g. by tar zxvf CSP-Prover-3-0.tar.gz .
      CSP-Prover-3-0 contains the 7 directories [README] as follows:

        CSP-Prover-3.0 ---+--- CSP   (README, theory file, dependency-graph)
                          |
                          +--- CSP_T (README, theory file, dependency-graph)
                          |
                          +--- CSP_F (README, theory file, dependency-graph)
                          |
                          +--- FNF_F (README, theory file, dependency-graph)
                          |
                          +--- ep2   (README)
                          |
                          +--- DM    (README)
                          |
                          +--- Test  (README)
  • "User Guide CSP-Prover Ver.3.0":
             Download [User-Guide-3-0.pdf] (361KB) (last modified: 10/05/2006) or
             Download [User-Guide-3-0.ps]  (643KB) (last modified: 10/05/2006)


2005-2006

You can download CSP-Prover:
  • Source Package: (requires Isabelle2004)
             download [CSP-Prover2005-2.tar.gz] (122KB) (13/02/2005--)
  • "User Guide CSP-Prover2005":
             download [User-Guide-2005-2.pdf] (203KB) (last modified: 13/02/2005)
             download [User-Guide-2005-2.ps] (3329KB) (last modified: 13/02/2005)
  • The CSP dialect (Syntax and Semntics) for CSP-Prover:
             download [CSP-Prover-dialect.pdf] (53KB) (last modified: 16/03/2005)
  • The heap file for x86-Linux (requires Isabelle2004):

          download [CSP-Prover] (notice: the size is 39.0MB)

  • CSP-Prover's index and theory map generated by isatool

2005

You can download CSP-Prover:
  • Source Package: (requires Isabelle2004)
             download [CSP-Prover2005-1.tar.gz] (118KB) (19/01/2005--)
  • "User Guide CSP-Prover2005":
             download [User-Guide-2005-1.pdf] (202KB) (last modified: 24/01/2005)
             download [User-Guide-2005-1.ps] (3322KB) (last modified: 24/01/2005)
  • The heap file for x86-Linux (requires Isabelle2004):

          download [CSP-Prover] (notice: the size is 38.9MB)

  • Index and theory map generated by isatool

2004-2005

  • Source Package: (requires Isabelle2004)
             download [Csp-Prover2004-2.tar.gz] (125KB) (prototype: 18/10/2004--)
  • "User Guide Csp-Prover2004":
             download [user_guide2004-2.pdf] (178KB) (last modified: 22/10/2004)
  • The heap file for x86-Linux (requires Isabelle2004):

          download [Csp-Prover] (notice: the size is 38.5MB)

  • The theory map: [click here]