/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.

This repository is not active