×

jSpin

swMATH ID: 7638
Software Authors: Ben-Ari, Mordechai
Description: jSpin is a graphical user interface for the Spin model checker that is used for verifying concurrent and distributed programs. The user interface of jSpin is simple and consists of a single window with menus, a toolbar and three adjustable text areas. Spin option strings are automatically supplied and the Spin output is filtered and presented in a tabular form. All aspects of jSpin are configurable: some at compile time, some at initialization through a configuration file and some at runtime.
Homepage: http://code.google.com/p/jspin/
Dependencies: SPIN
Related Software: SPIN; PROMELA; Uppaal; P-Lingua; CESAR; Coq; ProB; Owl; Seminator 2; Delag; SPOT; PRISM; JFLAP; Z; gCol; MeCoSim; kepler98; DART; Limi; Liss
Cited in: 16 Documents
all top 5

Cited by 40 Authors

3 Ipate, Florentin
3 Lefticaru, Raluca
2 Leuschel, Michael
2 Pérez-Jiménez, Mario J.
2 Tudose, Cristina
1 Adi, Kamel
1 Aravind, Alex A.
1 Baier, Christel
1 Ben-Ari, Mordechai
1 Bendisposto, Jens
1 Cerone, Antonio
1 Clarke, Edmund Melson jun.
1 Cooper, James W.
1 Figueira, Diego
1 García-Quismondo, Manuel
1 Gheorghe, Marian
1 Henzinger, Thomas A.
1 Jantsch, Simon
1 John, Tobias
1 Klüppelholz, Sascha
1 Kühnrich, Morten
1 Lensink, Leonard
1 Libkin, Leonid O.
1 Ma, Ji
1 Malik, Avinash
1 Massart, Thierry Jacques
1 Mierlă, Laurenţiu
1 Nicolescu, Radu
1 Orgun, Mehmet Ali
1 Park, Heejong
1 Pérez-Hurtado, Ignacio
1 Rauf, Usman
1 Salcic, Zoran
1 Sameen, Sheema
1 Smetsers, Sjaak
1 Ţurcanu, Adrian
1 Valencia-Cabrera, Luis
1 van Eekelen, Marko
1 van Gastel, Bernard
1 Veith, Helmut
all top 5

Cited in 9 Serials

1 Information Processing Letters
1 Science of Computer Programming
1 International Journal of Foundations of Computer Science
1 International Journal of Computer Mathematics
1 Annals of Mathematics and Artificial Intelligence
1 Theory of Computing Systems
1 Computer Languages, Systems & Structures
1 Journal of Applied Logic
1 Journal of Membrane Computing

Cited in 4 Fields

16 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)
1 Combinatorics (05-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year