Posts by nikos

nikos · General

Thanks for your response. If I understand correctly what you are saying, there is no easy way to use spin as a library, but I could generate the model first and then pass it to spin. But in the latter case, I would not get "early" counterexamples, since I have already generated the automaton. Or do I misunderstand?

nikos · General

Hi.

I would like to use spin as a library that I link to my application. Essentially I will be constructing an automaton and would like to call spin on it during construction, so that I get early counterexamples. Would this be possible? Where should I start looking?

Thanks!

Spinroot

#1 Re: General » Spin as a library/on-the-fly checker -- where to start? » 2011-10-05 08:14:26

#2 General » Spin as a library/on-the-fly checker -- where to start? » 2011-10-04 16:22:46

Board footer