Pinned Repositories
bilibili
blabla
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.
MostWonderfulTimeOfTheYear's Repositories
MostWonderfulTimeOfTheYear/bilibili
blabla
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.