Wieger Wesselink

lps2lts uses too much memory when generating a state space in .lts format

5

When generating a state space for a non probabilistic LPS, the memory consumption of lps2lts varies a lot depending on the chosen output format. For an .lts file roughly 3...

For the specification below the parser reports `[error] Unresolved ambiguity.`, without reporting any possible alternatives. It seems like dparser is behaving erratically. If the comment line is removed, the error...