Skip to search formSkip to main contentSkip to account menu

Bitstate hashing

Bitstate hashing is a hashing method invented in 1968 by Morris. It is used for state hashing, where each state (e.g. of an automaton) is represented… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Depth-first searchHash functionSPIN model checker

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Model Checking of the Suzuki-Kasami Distributed Mutual Exclusion Algorithm with SPIN
We report on a case study in which we have model checked some properties for the Suzuki-Kasami distributed mutual exclusion… 
2013
2013
Coverage Estimation in Model Checking with Bitstate Hashing
Explicit-state model checking which is conducted by state space search has difficulty in exploring satisfactory state space… 
2012
2012
On the design of special hash functions for multiple hash tables
One disadvantage of bitstate hashing, the traditional probabilistic state space analysis method, is the possible large amount of… 
2008
2008
Truly Bitstate-Hashing for SCC-Based Emptiness Checking Algorithms
The paper proposes an improvement for SCC-based emptiness checking algorithms,which combines the advantages of SCC-based and… 
2006
2006
Combining Couvreur's Algorithm with Bitstate-Hashing for Emptiness Check
Emptiness check is very important in model checking to LTL. In this paper we first present a new emptiness checking algorithm… 
2005
2005
Accelerating External Search with Bitstate Hashing
In this paper we refine external exploration for explicit state model checking by a fusion of External A* with internal bit state… 
2005
2005
Accelerating External Search with Bitstate Hashing-Extended Abstract -
In this paper we refine external exploration for explicit state model checking by a fusion with internal bitstate hashing… 
2000
2000
Guided Synthesis of Control Programs for a Batch Plant using UPPAAL
In this paper we address the problem of scheduling and synthesizing distributed control programs for a batch production plant. We… 
1998
1998
New Methods for Sequential Hashing with Supertrace
Partial search methods like bitstate hashing, or supertrace, allow formal verification techniques to be applied to problems which… 
1995
1995
Tales from the Front: Industrial Experience with Formal Validation
A gas turbine engine of a gas-coupled type suited for driving a vehicle has auxiliary devices such as an air conditioning… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)