Published March 25, 2022 | Version v0.5.0.0
Software Open

andrewbutterfield/ccs2csp: v0.5.0.0

Creators

  • 1. Trinity College Dublin

Description

A version of ccs2csp that provides the functionality described in the SEFM'21 paper based on the CCS to CSP translation developed by Gerard Ekembe Ngondi @enggerard

Files

andrewbutterfield/ccs2csp-v0.5.0.0.zip

Files (164.6 kB)

Name Size Download all
md5:edc11e71e8420d5a48774fb349dfdee8
164.6 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/andrewbutterfield/ccs2csp/tree/v0.5.0.0 (URL)