Oleksandr A. Letychevskyi

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
This paper is devoted to the whole problem of interleaving reduction in modeling of concurrent processes. The main notions of insertional modeling were described. The verification problem in terms of insertional modeling was examined. General algorithm of interleaving reduction in terms of insertional modeling was presented. A static and incremental(More)
  • 1