Ferry Timmers: ASD to mCRL2, translating and raking, a retrospective.


Event Details


The past year I’ve been working on finalizing a translation from ASD (a specification language for control systems used by the industry) to mCRL2. This was not a trivial task since I was left without a formal specification of ASD. What ensued was reverse-engineering and lots of testing with purposefully built models. In the end, it required a novel approach (‘raking’) to extract meaning from ASD generated source code, which was quite successful. I will look back to this process, and what we can draw from this.