-
PatEC-SPIN2021
version used for PatEC evaluation in SPIN2021 paper
-
PEQcheck-Formalise2021
PEQcheck version used in final submission of PEQcheck paper
-
ETAPS2020-general
PEQcheck used to evaluate GeneralChecker for ETAPS 2020 submission
version used for PatEC evaluation in SPIN2021 paper
PEQcheck version used in final submission of PEQcheck paper
PEQcheck used to evaluate GeneralChecker for ETAPS 2020 submission