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.

	Home > News and Events > Events
<< EEMCS (EWI) Home News and Events » Group Colloquium » Events » In the Media People Research Education Vacancies Intranet Contact	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.