Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Explicit-state model checking which is conducted by state space search has difficulty in exploring satisfactory state space… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 5
Is this relevant?
2008
2008
The paper proposes an improvement for SCC-based emptiness checking algorithms,which combines the advantages of SCC-based and… Expand
Is this relevant?
2006
2006
There is a growing body of work on directed model checking, which improves the falsification of safety properties by providing… Expand
  • figure 2
  • figure 3
  • table 1
  • table 2
  • table 3
Is this relevant?
2006
2006
Emptiness check is very important in model checking to LTL. In this paper we first present a new emptiness checking algorithm… Expand
  • figure 1
  • table 1
Is this relevant?
2005
2005
In this paper we refine external exploration for explicit state model checking by a fusion of External A* with internal bit state… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
Is this relevant?
2004
2004
Bitstate hashing in SPIN has proved invaluable in probabilistically detecting errors in large models, but in many cases, the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1998
Highly Cited
1998
The bitstate hashing, or supertrace, technique was introduced in 1987 as a method to increase the quality of verification by… Expand
Is this relevant?
1998
1998
Partial search methods, like bitstate hashing or supertrace, allow formal verification techniques to be applied to problems which… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The bitstate hashing, or supertrace, technique was introduced in 1987 as a method to increase the quality of verification by… Expand
Is this relevant?
1995
1995
The bitstate hashing, or supertrace, technique was introduced in 1987 as a method to increase the quality of verification by… Expand
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 4
Is this relevant?