Jeroen Keiren

icon indicating a website link http://www.jeroenkeiren.nl

icon company Eindhoven University of Technolgoy icon location Eindhoven, The Netherlands

Results 1 issues of Jeroen Keiren

Too large state spaces generated for mCRL2 models with global variables

1 comment

mCRL2 models generated by `mcrl22lps` may introduce global variables. When generating the LTS using `lps2lts-*` tools, these models result in a state space that is larger than strictly needed. The...