Teaching concurrency and nondeterminism with spin

  title={Teaching concurrency and nondeterminism with spin},
  author={Mordechai Ben-Ari},
The tutorial will familiarize the participants with the use of the Spin model checker in teaching concepts such as concurrency, verification and nondeterminism. They will also learn to use pedagogical software tools that I built based upon Spin: the jSpin environment for developing and verifying concurrent programs; SpinSpider, a tool for generating graphical representations of state diagrams of concurrent programs; VN, a tool for "experiencing" the nondeterminism of finite automata. 


Publications citing this paper.
Showing 1-2 of 2 extracted citations

Using model checking tool for teaching concurrent programming concepts

2009 International Conference on Innovations in Information Technology (IIT) • 2009
View 4 Excerpts
Highly Influenced


Publications referenced by this paper.

JFLAP: An Interactive Formal Languages and Automata Package

S. H. Rodger, T. W. Finley
View 5 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…