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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1995-2012
012319952012

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… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 5
Is this relevant?
2008
2008
This paper discusses a generalised incremental hashing scheme for explicit state model checkers. The hashing scheme has been… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2007
2007
Partial search methods like bitstate hashing, or supertrace, allow formal verification techniques to be applied to problems which… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We describe an extension of the SPIN model checker for use on multicore shared-memory systems and report on its performance. We… (More)
  • table I
  • table II
  • figure 2
  • figure 1
  • figure 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… (More)
  • figure 1
  • table 1
Is this relevant?
2005
2005
In this paper we refine external exploration for explicit state model checking by a fusion with internal bitstate hashing… (More)
  • figure 1
  • table 2
Is this relevant?
2004
2004
Bitstate hashing in SPIN has proved invaluable in probabilistically detecting errors in large models, but in many cases, the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
State-of-the-art algorithms for on-the-fly automata-theoretic LTL model checking make use of nested depth-first search to look… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
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… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 4
Is this relevant?
1995
1995
  • GERARD J. HOLZMANN Bell Laboratories
  • 1995
The bitstate hashing, or supertrace, technique was introduced in 1987 as a method to increase the quality of verification by… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 4
Is this relevant?