search

utwente-fmt / ltsmin

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

improvements made for ProB #159

Open pkoerner opened 6 years ago

pkoerner commented 6 years ago

changes made for the article State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin at iFM