ePrints

On the Sleep Sets Method for Partial Order Verification of Concurrent Systems

Lookup NU author(s): Professor Maciej KoutnyORCiD, Dr Marta Koutny

Downloads

• Published version [.pdf]

Abstract

We discuss one of the versions of the 'sleep sets' method proposed to reduce the computational effort involved in state space research. We identify some of the problems in the algorithms presented in [2, 3] which use sleep sets to implement an efficient search of the state space of a concurrent system.

Publication metadata

Author(s): Koutny M, Pietkiewicz-Koutny M

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1995

Pages: 17

Report Number: 495

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/495.pdf

Share