search

danionita / e3tools

e3tool is a Java GUI-based tool for constructing and evaluating e3value models. Includes the e3fraud fraud assessment extension
Other
3 stars 4 forks source link

export spin models #35

Open danionita opened 8 years ago

bobismijnnaam commented 8 years ago

What are spin models?

danionita commented 8 years ago

https://en.wikipedia.org/wiki/SPIN_model_checker

On Thu, Jul 28, 2016 at 9:06 AM, Bob Rubbens notifications@github.com wrote:

What are spin models?

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/danionita/e3tools/issues/35#issuecomment-235816549, or mute the thread https://github.com/notifications/unsubscribe-auth/AKjEpH5Npeet8wUyvq9x5i64zgnTEKccks5qaFUPgaJpZM4JVJ-2 .

bobismijnnaam commented 8 years ago

Cool. Would be a pretty intense feature though I reckon :p