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.