-
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
Aufgrund einer Wartung am 30.07.2024 von 8:00 bis 09:00 Uhr werden git.rwth-aachen.de & git-ce.rwth-aachen.de zeitweise nicht zur Verfügung stehen. -- Due to maintenance at 30.07.2024 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.
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