search

utwente-fmt / ltsmin

The LTSmin model checking toolset
http://ltsmin.utwente.nl
BSD 3-Clause "New" or "Revised" License
51 stars 30 forks source link

Defaults for symbolic tool #190

Open trolando opened 3 years ago

trolando commented 3 years ago

Current default are not good. @Meijuh