spec-project

SPEC is an equivalence checker for a version of Abadi and Gordon's spi-calculus.

Pinned Repositories

SPEC-0.1
SPEC: An equivalence checker for the spi-calculus (Version 0.1)
Language:OCaml0 1 00
SPEC-0.2
SPEC: An equivalence checker for the spi-calculus (Version 0.2)
Language:OCaml0 1 01
SPEC-0.3
SPEC: An equivalence checker for the spi-calculus (Version 0.3)
Language:OCaml1 4 11
SPEC-0.4
Language:OCaml0 2 00

spec-project's Repositories

spec-project/SPEC-0.3
SPEC: An equivalence checker for the spi-calculus (Version 0.3)
Language:OCaml1 4 11
spec-project/SPEC-0.1
SPEC: An equivalence checker for the spi-calculus (Version 0.1)
Language:OCaml0 1 00
spec-project/SPEC-0.2
SPEC: An equivalence checker for the spi-calculus (Version 0.2)
Language:OCaml0 1 01
spec-project/SPEC-0.4
Language:OCaml0 2 00