Skip to content

mCRL2 202307.0
Compare
Choose a tag to compare
@mlaveaux mlaveaux released this 19 Jul 11:53
· 21 commits to release-202307 since this release
mcrl2-202307.0
f45af6f

This release mainly features the introduction of parallel exploration algorithms to lps2lts and pbes2bool. See the file CHANGES for a complete overview. The release is also provided on our website. The Ubuntu release is available in a PPA.

Assets 7
Loading