Group colloquium: Rewriting TorXakis models symbolically for improved performance

When: May 16, 2019, 15:45-16:30

Who: Djurre van der Wal

TorXakis is a software tool and process algebra used for model-based testing. What I have been working on, is to apply symbolical rewrite techniques to TorXakis models and to measure the resulting change in the performance of TorXakis. The symbolical rewrite techniques that I have implemented originate from the mCRL2 verification tool set, where they are used to significantly reduce the size of state spaces.