The model checker SPIN
Citations
4,905 citations
Cites methods from "The model checker SPIN"
...The combination of guarded command languages in combination with channel-based communication is also used in Promela [205], the input language of the model checker SPIN [208]....
[...]
3,516 citations
Cites background from "The model checker SPIN"
...traditional model checking [11,21,16], the model is a finite state machine whose vertices correspond to system states and whose edges correspond to system transitions....
[...]
2,896 citations
Cites methods from "The model checker SPIN"
...Similar to symbolic execution systems, model checkers have been used to find bugs in both the design and the implementation of software [10, 12, 19, 25, 29, 30]....
[...]
2,530 citations
2,114 citations
References
5,660 citations
"The model checker SPIN" refers methods in this paper
...The classical algorithm for finding a cycle in a graph is Tarjan’s depth-first search algorithm [72], which constructs the strongly connected components in linear time by adding two integer numbers to every state reached: the dfs-number and the lowlink-number....
[...]
5,174 citations
3,302 citations
"The model checker SPIN" refers methods in this paper
...In focusing on asynchronous control in software systems, rather than synchronous control in hardware systems, SPIN distinguishes itself from other well-known approaches to model checking, e.g., [12], [49], [ 53 ]....
[...]
2,698 citations
2,333 citations