Elmin Ibrahimov

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
—— When a model checker cannot explore the entire state space because of limited resources, model checking becomes a kind of testing with an attempt to find a failure (violation of properties) quickly. We consider two state sequences in model checking: (i) the sequence in which new states are generated, and (ii) the sequence in which the states generated in(More)
  • 1