This repository is not active
MostWonderfulTimeOfTheYear/mCRL2modelsEULYNX
This repository contains the mCRL2 models made for my thesis, Verification of EULYNX light signal using mCRL2 and comparing with auto-translated model, which are used to verify the EULYNX specification of the light signal.