May 2, 2001 · We present the explicit state model checker HSF-SPIN which is based on the model checker SPIN and its Promela modeling language.

Our model-checker HSF-SPIN extends the SPIN framework with various heuristic search algorithms to support directed model checking. Experimental results show ...

Abstract. We present the explicit state model checker HSF-SPIN which is based on the model checker SPIN and its Promela modeling language.

HSF-SPIN incorporates directed search algorithms for checking safety and a large class of LTL-specified liveness properties. We start off from the A* algorithm ...

HSF-SPIN incorporates directed search algorithms for checking safety and a large class of LTL-specified liveness properties. We start off from the A* algorithm ...

May 17, 2011 · Abstract. We present the explicit state model checker HSF-SPIN which is based on the model checker SPIN and its Promela modeling language.

Directed explicit model checking with HSF-SPIN · S. Edelkamp, Alberto Lluch-Lafuente, S. Leue · Published in SPIN 2 May 2001 · Computer Science.

Accepting Cycle Detection: Nested DFS (NDFS). Directed Explicit Model Checking with HSF-SPIN. Automata-Based Model Checking. 2-1. Page 5. 3. Searching for ...

HSF-SPIN incorporates directed search algorithms for checking safety and a large class of LTL-specified liveness properties. We start off from the A* algorithm ...

Our model-checker HSF-SPIN extends the SPIN framework with various heuristic search algorithms to support directed model checking. Experimental results show ...